#sat-solver #rustsat

rustsat-minisat

Interface to the SAT solver Minisat for the RustSAT library

15 releases

new 0.4.5 Mar 25, 2025
0.4.3 Dec 20, 2024
0.4.1 Oct 16, 2024
0.3.1 Jun 12, 2024
0.2.0 Oct 30, 2023

#3 in #rustsat

Download history 18/week @ 2024-12-02 154/week @ 2024-12-09 221/week @ 2024-12-16 50/week @ 2024-12-23 7/week @ 2024-12-30 68/week @ 2025-01-06 21/week @ 2025-01-13 12/week @ 2025-01-20 19/week @ 2025-01-27 43/week @ 2025-02-03 45/week @ 2025-02-10 316/week @ 2025-02-17 115/week @ 2025-02-24 53/week @ 2025-03-03 118/week @ 2025-03-10 283/week @ 2025-03-17

576 downloads per month
Used in rustsat-tools

MIT license

1MB
20K 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 Cpp 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 Cpp source repository can be found here.

Dependencies

~4–15MB
~216K SLoC