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

#2319 in Algorithms

Download history 68/week @ 2024-07-29 13/week @ 2024-09-23 20/week @ 2024-09-30 309/week @ 2024-10-14 42/week @ 2024-10-21 6/week @ 2024-11-04

357 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
~197K SLoC