15 unstable releases (4 breaking)
new 0.6.6 | Mar 27, 2025 |
---|---|
0.4.4 | Feb 19, 2025 |
0.4.3 | Dec 20, 2024 |
0.4.1 | Oct 16, 2024 |
0.2.0 | Oct 30, 2023 |
#1307 in Math
107 downloads per month
1MB
30K
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
~9–19MB
~281K SLoC