Crate rustsat_tools

rustsat-tools - Tools for and with the RustSAT Library

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

Modules

• encodings
  Encodings for Encoding Generators
• utils

Macros

• test_all
  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_assignment
  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

• Solver