rustsat-tools 0.2.1

Tools and examples built on the RustSAT library
docs.rs failed to build rustsat-tools-0.2.1
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: rustsat-tools-0.7.4

rustsat-tools - Tools and Unittests for the RustSAT Library

This crate contains tools and unit tests for the RustSAT library. Unittests are here because they depend on solver interface crates, which in turn depend on RustSAT, which creates a dependency cycle if the tests are in RustSAT directly.