10 unstable releases (3 breaking)
new 0.4.1 | Oct 16, 2024 |
---|---|
0.3.1 | Jun 12, 2024 |
0.2.4 | Feb 23, 2024 |
0.2.1 | Dec 18, 2023 |
0.2.0 | Oct 30, 2023 |
#627 in Math
8MB
20K
SLoC
rustsat-tools - Tools for and with the RustSAT Library
This crate contains tools for and built on the RustSAT library.
lib.rs
:
rustsat-tools - Tools for and with the RustSAT Library
This crate contains tools for and built on the RustSAT library.
Encodings for Encoding Generators
CNF Encodings
PB Encodings
Dependencies
~8–18MB
~262K SLoC