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)

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

#582 in Math

Download history 32/week @ 2024-07-23 44/week @ 2024-07-30 1/week @ 2024-09-17 5/week @ 2024-09-24 6/week @ 2024-10-01 5/week @ 2024-10-08 284/week @ 2024-10-15 18/week @ 2024-10-22

307 downloads per month

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–19MB
~265K SLoC