Lib.rs

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

bin+lib rustsat-tools

Tools and examples built on the RustSAT library

by chrjabs and 4 contributors

15 unstable releases (4 breaking)

new 0.6.6 Mar 27, 2025
0.4.4 Feb 19, 2025
0.4.3 Dec 20, 2024
0.4.1 Oct 16, 2024
0.2.0 Oct 30, 2023

#1307 in Math

Download history 173/week @ 2024-12-04 265/week @ 2024-12-11 170/week @ 2024-12-18 14/week @ 2024-12-25 49/week @ 2025-01-01 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

107 downloads per month

MIT license

1MB
30K SLoC

Rust 21K SLoC // 0.0% comments C++ 8K SLoC // 0.1% comments

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

~9–19MB
~281K SLoC