Documentation

rsat

SAT Solver.

Crates.io Crates.io Crates.io Docs

Currently, a stochastic local search based on probSAT and a CDCL solver based on MiniSAT has been implemented. More algorithms will be available soon.

This projetct is still in development. The APIs can change before the first stable release v1.0.0.

License

MIT