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

#600 in Math

Download history 4/week @ 2024-09-21 8/week @ 2024-09-28 263/week @ 2024-10-12 42/week @ 2024-10-19 2/week @ 2024-10-26 53/week @ 2024-11-30

53 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–18MB
~264K SLoC