Lib.rs

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

bin+lib rustsat-tools

Tools and examples built on the RustSAT library

by chrjabs and 4 contributors

17 unstable releases (5 breaking)

new 0.7.1 May 1, 2025
0.6.6 Mar 27, 2025
0.4.3 Dec 20, 2024
0.4.1 Oct 16, 2024
0.2.0 Oct 30, 2023

#729 in Math

Download history 35/week @ 2025-01-08 7/week @ 2025-02-05 6/week @ 2025-02-12 146/week @ 2025-02-19 9/week @ 2025-02-26 10/week @ 2025-03-05 2/week @ 2025-03-12 81/week @ 2025-03-19 191/week @ 2025-03-26 149/week @ 2025-04-02 13/week @ 2025-04-09 7/week @ 2025-04-16 3/week @ 2025-04-23

184 downloads per month

MIT license

1.5MB
33K SLoC

Rust 25K SLoC // 0.0% comments C++ 8K SLoC // 0.1% 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

~9–19MB
~280K SLoC