13 releases
| 0.4.4 | Feb 19, 2025 |
|---|---|
| 0.4.3 | Dec 20, 2024 |
| 0.4.1 | Oct 16, 2024 |
| 0.3.1 | Jun 12, 2024 |
| 0.2.0 | Oct 30, 2023 |
#758 in Math
168 downloads per month
1MB
21K
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