Expand description
§rustsat-tools - Tools for and with the RustSAT Library
This crate contains tools for and built on the RustSAT library.
Modules§
- Encodings for Encoding Generators
Macros§
- Test a solver under given assumptions while iterating through all possible assignments of the first 1-4 variables. This is used in the integration tests.
- Test a solver under two sets of assumptions and assert that the result is as given. This is used in the integration tests.