All Categories → No Category → minisat

Top 4 minisat open source projects

A Header-Only CDCL SAT Solver for Programming Contest

✭ 51

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

A Python API for the MiniSat and MiniCard constraint solvers.

✭ 18

C++python Makefile solver constraints python-api minisat

Experimental minisat SAT solver reimplementation in Rust

✭ 68

rust np-complete cnf sat-solver minisat

A (parametrized) Rust SAT solver originally based on MiniSat

✭ 26

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

1-4 of 4 minisat projects