rustsat-batsat
| Crates.io | rustsat-batsat |
| lib.rs | rustsat-batsat |
| version | 0.7.3 |
| created_at | 2024-10-16 13:31:17.145378+00 |
| updated_at | 2025-08-07 13:39:30.576554+00 |
| description | Interface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust |
| homepage | |
| repository | https://github.com/chrjabs/rustsat |
| max_upload_size | |
| id | 1411797 |
| size | 26,263 |
Christoph Jabs (chrjabs)
documentation
README
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.
Minimum Supported Rust Version (MSRV)
Currently, the MSRV is 1.76.0, the plan is to always support an MSRV that is at least a year old.
Bumps in the MSRV will not be considered breaking changes. If you need a specific MSRV, make sure to pin a precise version of RustSAT.