2 results found Sort:

meelgroup
bosphorus meelgroup
18
67
other
7
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf cnf sat dimacs cryptoanalysis anf-simplifications
Created 2018-12-12
299 commits to master branch, last one 27 days ago
touist
touist touist
12
64
mit
9
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
qbf sat smt ocaml yices dimacs minisat smt-lib research education problem-solving propositional-logic
Created 2015-01-31
1,570 commits to master branch, last one 3 years ago