2 results found Sort:

sarsko
CreuSAT sarsko
12
613
mit
8
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
sat rust proof minisat rust-lang sat-solver verification formal-methods satisfiability automated-reasoning deductive-reasoning formal-verification
Created 2021-08-24
571 commits to master branch, last one 7 months 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