16 results found Sort:

msoos
cryptominisat msoos
185
830
other
29
An advanced SAT solver
cnf xor dpll proof sat-solver cryptography verification cdcl-algorithm
Created 2012-03-13
17,034 commits to master branch, last one 21 days ago
sarsko
CreuSAT sarsko
12
620
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 8 months ago
stp
stp stp
130
530
other
34
Simple Theorem Prover, an efficient SMT solver for bitvectors
cnf smt sat-solver cryptography verification symbolic-execution
Created 2013-08-27
3,188 commits to master branch, last one 3 months ago
SRI-CSL
yices2 SRI-CSL
49
380
gpl-3.0
26
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,270 commits to master branch, last one 7 days ago
crillab
gophersat crillab
23
372
mit
12
gophersat, a SAT solver in Go
sat-solver constraints boolean-formulas pseudo-boolean-solver artificial-intelligence constraint-satisfaction-problem
Created 2017-09-27
199 commits to master branch, last one 11 months ago
welchbj
tt welchbj
12
218
mit
8
a Pythonic toolkit for working with Boolean expressions
sat python boolean sat-solver truth-table satisfiability boolean-algebra transformations boolean-expression
Created 2015-12-22
457 commits to develop branch, last one about a month ago
msakai
toysolver msakai
11
155
other
11
My sandbox for experimenting with solver algorithms.
algorithms sat-solver smt-solver theorem-prover mathematical-programming
Created 2011-06-12
3,120 commits to master branch, last one 5 days ago
MiniZinc
minizinc-python MiniZinc
23
151
mpl-2.0
8
Access to all MiniZinc functionality directly from Python
python minizinc sat-solver linear-programming integer-programming optimisation-problem constraint-programming
Created 2020-07-23
504 commits to develop branch, last one 17 days ago
go-air
gini go-air
16
147
mit
12
A fast SAT solver
fuzzing testing concurrent resolution sat-solver circuit-sat dependencies verification logic-circuit boolean-formulas logic-programming artificial-intelligence
Created 2016-07-23
158 commits to master branch, last one 3 years ago
mitchellh
go-z3 mitchellh
23
141
mit
4
Go (golang) bindings to the Z3 SMT Solver
go golang sat-solver smt-solver
This repository has been archived (exclude archived)
Created 2017-03-03
20 commits to master branch, last one 5 years ago
Gbury
mSAT Gbury
8
97
apache-2.0
14
A modular sat/smt solver with proof output.
ocaml clause solver formula modular sat-solver smt-solver formal-methods
Created 2014-10-29
736 commits to master branch, last one 11 months ago
gapt
gapt gapt
18
95
gpl-3.0
13
GAPT: General Architecture for Proof Theory
proof scala proofs tactics sat-solver theorem-proving herbrand-disjunction
Created 2011-06-29
7,646 commits to master branch, last one 3 months ago
audemard
glucose audemard
16
87
mit
2
The glucose SAT solver
sat solver sat-solver satisfiability
Created 2023-05-09
12 commits to main branch, last one about a month ago
shnarazk
splr shnarazk
9
84
other
4
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
cdcl rust nix-flake sat-solver satisfiability
Created 2018-08-24
92 commits to main branch, last one 9 months ago
MatthiasNickles
diff-SAT MatthiasNickles
4
63
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
291 commits to master branch, last one 6 months ago
MiniZinc
minizinc-js MiniZinc
8
31
mpl-2.0
11
Use MiniZinc in the browser or with NodeJS
nodejs minizinc javascript sat-solver webassembly linear-programming integer-programming optimisation-problem constraint-programming typescript-definitions
Created 2022-11-09
77 commits to develop branch, last one 21 days ago