Crate rustsat_tools

Source
Expand description

§rustsat-tools - Tools for and with the RustSAT Library

This crate contains tools for and built on the RustSAT library.

Modules§

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.

Type Aliases§