Lib.rs

› Algorithms › RustSAT
#sat-solver #rustsat

rustsat-glucose

Interface to the SAT solver Glucose for the RustSAT library

by chrjabs and 4 contributors

11 releases

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

#2112 in Algorithms

Download history 12/week @ 2024-09-21 19/week @ 2024-09-28 2/week @ 2024-10-05 291/week @ 2024-10-12 57/week @ 2024-10-19 3/week @ 2024-10-26 5/week @ 2024-11-02 1/week @ 2024-11-09 4/week @ 2024-11-16 1/week @ 2024-11-23 120/week @ 2024-11-30

126 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
~201K SLoC