7 results found Sort:

sarsko
CreuSAT sarsko
10
596
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 2 months ago
SRI-CSL
yices2 SRI-CSL
45
358
gpl-3.0
24
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,254 commits to master branch, last one 3 days ago
circuitgraph
circuitgraph circuitgraph
14
99
mit
3
Tools for working with circuits as graphs in python
eda graphs python netlist satisfiability boolean-circuits
Created 2020-07-12
253 commits to main branch, last one about a year ago
shnarazk
splr shnarazk
8
71
other
3
A modern CDCL SAT solver in Rust
cdcl rust nix-flake sat-solver satisfiability
Created 2018-08-24
92 commits to main branch, last one 3 months ago
meelgroup
approxmc meelgroup
24
69
other
7
Approximate Model Counter
sat counting model-couting satisfiability
Created 2018-11-11
700 commits to master branch, last one 23 days ago
MatthiasNickles
diff-SAT MatthiasNickles
3
61
mit
4
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
psat dimacs-cnf sat-solver probability optimization probabilistic satisfiability logic-programming probabilistic-asp weighted-sat-solving answer-set-programming constraint-programming artificial-intelligence multi-models-optimization probabilistic-programming differentiable-programming probabilistic-satisfiability differentiable-satisfiability
Created 2018-10-25
290 commits to master branch, last one 14 days ago
audemard
glucose audemard
12
60
mit
2
The glucose SAT solver
sat solver sat-solver satisfiability
Created 2023-05-09
10 commits to main branch, last one 4 months ago