rustsat-tools - Tools for and with the RustSAT Library
This crate contains tools for and built on the RustSAT library.
- Coverage
- 37.29%
22 out of 59 items documented0 out of 44 items with examples - Size
- Source code size: 6.98 MB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 2.61 MB This is the summed size of all files generated by rustdoc for all configured targets
- Links
-
chrjabs/rustsat
51 13 5 - crates.io
- Dependencies
-
- anyhow ^1.0.94 normal
- atty ^0.2.14 normal
- clap ^4.5.23 normal
- concolor-clap ^0.1.0 normal
- itertools ^0.13.0 normal
- nom ^7.1.3 normal
- rand ^0.8.5 normal
- rand_chacha ^0.3.1 normal
- rustsat ^0.6.2 normal
- rustsat-cadical ^0.4.2 normal optional
- rustsat-minisat ^0.4.2 normal optional
- termcolor ^1.4.1 normal
- Versions
-
- 0.7.4 (2025-10-18)
- 0.7.3 (2025-08-07)
- 0.7.2 (2025-05-30)
- 0.7.1 (2025-05-01)
- 0.7.0 (2025-04-03)
- 0.6.6 (2025-03-27)
- 0.6.5 (2025-03-25)
- 0.4.4 (2025-02-19)
- 0.4.3 (2024-12-20)
- 0.4.2 (2024-12-13)
- 0.4.1 (2024-10-16)
- 0.4.0 (2024-10-16)
- 0.3.1 (2024-06-12)
- 0.3.0 (2024-04-30)
- 0.2.4 (2024-02-23)
- 0.2.3 (2024-01-11)
- 0.2.2 (2024-01-11)
- 0.2.1 (2023-12-18)
- 0.2.0 (2023-10-30)
- 0.1.0 (2023-08-23)
- Owners
-