#sat-solver #rustsat

rustsat-glucose

Interface to the SAT solver Glucose for the RustSAT library

11 releases

new 0.3.3 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

#2241 in Algorithms

Download history 24/week @ 2024-07-01 68/week @ 2024-07-29 13/week @ 2024-09-23 20/week @ 2024-09-30 309/week @ 2024-10-14

342 downloads per month

MIT license

6.5MB
21K SLoC

Rust 17K SLoC // 0.0% comments C++ 4K SLoC // 0.2% comments Shell 3 SLoC // 0.4% comments

Contains (Mach-o exe, 175KB) cppsrc/simp/glucose

Check & Test crates.io docs.rs License

rustsat-glucose - Interface to the Glucose SAT Solver for RustSAT

The Glucose 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)

Glucose Version

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

Dependencies

~3–14MB
~193K SLoC