5 releases (3 breaking)
0.5.0 | Jan 12, 2021 |
---|---|
0.4.0 | May 6, 2020 |
0.3.1 | Jan 23, 2019 |
0.3.0 | Jan 9, 2019 |
0.2.0 | Dec 4, 2018 |
#1575 in Algorithms
70 downloads per month
155KB
3.5K
SLoC
BatSat
This is a Rust SAT solver forked from ratsat, a reimplementation of MiniSat.
License
MIT licensed.
Features and Goals
Batsat is originally based on ratsat, a clone of minisat. However we want to extend batsat further and to provide the following features:
- proof production (in DRAT)
- easy access to unsat-cores (as subset of assumptions)
- ipasir interface for incremental solving
- testing this interface
- debug framework using
log
(optional) - OCaml bindings
- templated API to write SMT solvers
- simplification techniques from Minisat+ (as an optional internal structure)
Dependencies
~120KB