Lib.rs

› Science › Math › RustSAT
#satisfiability #sat #rustsat

bin+lib rustsat-tools

Tools and examples built on the RustSAT library

by chrjabs and 4 contributors

10 unstable releases (3 breaking)

new 0.4.1 Oct 16, 2024
0.3.1 Jun 12, 2024
0.2.4 Feb 23, 2024
0.2.1 Dec 18, 2023
0.2.0 Oct 30, 2023

#627 in Math

MIT license

8MB
20K SLoC

Build & Test crates.io docs.rs License

rustsat-tools - Tools for and with the RustSAT Library

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

lib.rs:

rustsat-tools - Tools for and with the RustSAT Library

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

Encodings for Encoding Generators

CNF Encodings

PB Encodings

Dependencies

~8–18MB
~262K SLoC