5 releases
| new 0.1.4 | Mar 25, 2025 |
|---|---|
| 0.1.3 | Feb 19, 2025 |
| 0.1.2 | Dec 20, 2024 |
| 0.1.1 | Dec 13, 2024 |
| 0.1.0 | Oct 16, 2024 |
#6 in #rust-sat
108 downloads per month
745KB
17K
SLoC
rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
Interface to the BatSat incremental SAT-Solver to be used with the RustSAT library.
BatSat is fully implemented in Rust which has advantages in restricted compilation scenarios like WebAssembly.
BatSat Version
The version of BatSat in this crate is Version 0.6.0.
lib.rs:
rustsat-batsat - Interface to the BatSat SAT Solver for RustSAT
Interface to the BatSat incremental SAT-Solver to be used with the RustSAT library.
BatSat is fully implemented in Rust which has advantages in restricted compilation scenarios like WebAssembly.
BatSat Version
The version of BatSat in this crate is Version 0.6.0.
Dependencies
~4–13MB
~183K SLoC