sat-solvers-0.1.1
Platform
Feature flags

docs.rs

Rust

sat-solvers 0.1.1

Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation

Crate
Source
Builds
Feature flags

..
apitrace.cpp
cfreeze.c
cipasir.c
ctest.c
example.cpp
example_constraint.cpp
example_tracer.cpp
incproof.cpp
learn.cpp
makefile
morenmore.cpp
newdelete.cpp
parcompwrite.cpp
propagate_assumptions.cpp
README.md
run.sh
terminate.cpp
traverse.cpp
unit.cpp