2 results found Sort:

msoos
cryptominisat msoos
180
801
other
28
An advanced SAT solver
cnf xor dpll proof sat-solver cryptography verification cdcl-algorithm
Created 2012-03-13
16,963 commits to master branch, last one 18 days 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 6 months ago