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