All Categories → Security → sat-solver

Top 12 sat-solver open source projects

slime-sat-solver

A Free World Class High Performance SAT Solver

✭ 15

javascript C++HTML CSS Makefile c cnf sat-solver sat satisfiability cnf-clauses cnf-encoding

mios

A SAT solver written in Haskell.

✭ 33

haskell r sat-solver

togasat

A Header-Only CDCL SAT Solver for Programming Contest

✭ 51

C++python competitive-programming sat-solver programming-contests minisat

haskell-picosat

Haskell bindings for PicoSAT solver

✭ 15

c haskell logic picosat sat-solver picosat-solver

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

gapt

GAPT: General Architecture for Proof Theory

✭ 83

scala assembly proof theorem-proving tactics sat-solver proofs herbrand-disjunction

gini

A fast SAT solver

✭ 139

go testing resolution verification artificial-intelligence fuzzing concurrent dependencies boolean-formulas sat-solver logic-circuit circuit-sat

minizinc-python

Access to all MiniZinc functionality directly from Python

✭ 92

python linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem

SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution

✭ 37

C++Makefile sat-solver dpll satisfiability dpll-algorithm

minisat-rust

Experimental minisat SAT solver reimplementation in Rust

✭ 68

rust np-complete cnf sat-solver minisat

batsat

A (parametrized) Rust SAT solver originally based on MiniSat

✭ 26

rust c sat-solver minisat drat proof-generating sat-solver-bindings

mSAT

A modular sat/smt solver with proof output.

✭ 91

ocaml formula modular solver formal-methods sat-solver smt-solver clause

1-12 of 12 sat-solver projects