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

12 unstable releases (3 breaking)

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

#561 in Math

Download history 4/week @ 2024-09-23 8/week @ 2024-09-30 283/week @ 2024-10-14 24/week @ 2024-10-21 136/week @ 2024-12-02 290/week @ 2024-12-09 199/week @ 2024-12-16

625 downloads per month

MIT license

1MB
21K 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
~261K SLoC