Lib.rs

› Algorithms › RustSAT
#sat-solver #rust-sat

rustsat-glucose

Interface to the SAT solver Glucose for the RustSAT library

by chrjabs and 4 contributors

16 releases

new 0.3.8 Mar 27, 2025
0.3.6 Feb 19, 2025
0.3.5 Dec 20, 2024
0.3.3 Oct 16, 2024
0.2.0 Oct 30, 2023

#4 in #rust-sat

Download history 33/week @ 2024-12-04 152/week @ 2024-12-11 165/week @ 2024-12-18 29/week @ 2024-12-25 13/week @ 2025-01-01 67/week @ 2025-01-08 7/week @ 2025-01-15 7/week @ 2025-01-22 32/week @ 2025-02-05 31/week @ 2025-02-12 162/week @ 2025-02-19 26/week @ 2025-02-26 29/week @ 2025-03-05 19/week @ 2025-03-12 103/week @ 2025-03-19

183 downloads per month

MIT license

1MB
21K SLoC

Rust 18K SLoC // 0.0% comments C++ 3K SLoC // 0.2% comments

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

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

Glucose Version

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

lib.rs:

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

Glucose Version

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

Dependencies

~4–15MB
~217K SLoC