Lib.rs

› Science › Math › RustSAT
#sat #satisfiability #rustsat

bin+lib rustsat-tools

Tools and examples built on the RustSAT library

by chrjabs and 3 contributors

7 releases

0.3.0 Apr 30, 2024
0.2.4 Feb 23, 2024
0.2.3 Jan 11, 2024
0.2.1 Dec 18, 2023
0.1.0 Aug 23, 2023

#593 in Math

Download history 13/week @ 2024-01-17 14/week @ 2024-01-24 11/week @ 2024-01-31 5/week @ 2024-02-07 1/week @ 2024-02-14 108/week @ 2024-02-21 43/week @ 2024-02-28 167/week @ 2024-03-06 7/week @ 2024-03-13 6/week @ 2024-03-20 8/week @ 2024-03-27 5/week @ 2024-04-03 76/week @ 2024-04-24 55/week @ 2024-05-01

131 downloads per month

MIT license

5MB
16K 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

Dependencies

~7–16MB
~168K SLoC