Lib.rs

› Algorithms › RustSAT
#sat-solver #rustsat

rustsat-glucose

Interface to the SAT solver Glucose for the RustSAT library

by chrjabs and 3 contributors

8 releases

0.3.0 Apr 30, 2024
0.2.4 Feb 23, 2024
0.2.3 Jan 11, 2024
0.2.1 Dec 18, 2023
0.1.0 Aug 23, 2023

#2070 in Algorithms

Download history 100/week @ 2024-02-19 32/week @ 2024-02-26 132/week @ 2024-03-04 19/week @ 2024-03-11 16/week @ 2024-04-01 143/week @ 2024-04-29

143 downloads per month

MIT license

6.5MB
18K SLoC

Rust 14K SLoC // 0.0% comments C++ 4K SLoC // 0.2% 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

~1.3–3.5MB
~75K SLoC