Lib.rs

› Algorithms › RustSAT
#sat-solver #rustsat

rustsat-minisat

Interface to the SAT solver Minisat for the RustSAT library

by chrjabs and 4 contributors

11 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

#2458 in Algorithms

Download history 48/week @ 2024-07-27 2/week @ 2024-08-03 10/week @ 2024-09-21 15/week @ 2024-09-28 294/week @ 2024-10-12 66/week @ 2024-10-19 10/week @ 2024-10-26 20/week @ 2024-11-02 4/week @ 2024-11-09

132 downloads per month
Used in rustsat-tools

MIT license

6.5MB
18K SLoC

Check & Test crates.io docs.rs License

rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT

The Minisat SAT solver to be used with the RustSAT library.

Features

  • debug: if this feature is enables, the C++ library will be built with debug and check functionality if the Rust project is built in debug mode
  • quiet: disable all glucose-internal printing to stdout during solving (on by default)

Minisat Version

The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.

Dependencies

~3–14MB
~199K SLoC