2 results found Sort:

msoos
cryptominisat msoos
191
840
other
28
An advanced SAT solver
cnf xor dpll proof sat-solver cryptography verification cdcl-algorithm
Created 2012-03-13
17,041 commits to master branch, last one about a month ago
Koukyosyumei
Gymbo Koukyosyumei
0
35
apache-2.0
2
gradient-based symbolic execution engine implemented from scratch
dpll debugging smt-solver dpll-solver neural-network static-analysis gradient-descent program-analysis symbolic-execution
Created 2023-10-30
95 commits to main branch, last one about a year ago