Lib.rs

› Science › Math › RustSAT
#rust-sat #satisfiability

bin+lib rustsat-tools

Tools and examples built on the RustSAT library

by Christoph Jabs and 6 contributors

21 releases

0.7.5 Jan 30, 2026
0.7.4 Oct 18, 2025
0.7.3 Aug 7, 2025
0.7.2 May 30, 2025
0.2.0 Oct 30, 2023

#2033 in Math

MIT license

1.5MB
38K SLoC

Rust 26K SLoC // 0.0% comments C++ 12K SLoC // 0.1% comments C 559 SLoC // 0.0% comments

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

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.

Dependencies

~8–15MB
~294K SLoC