rustsat-glucose
| Crates.io | rustsat-glucose |
| lib.rs | rustsat-glucose |
| version | 0.3.3 |
| source | src |
| created_at | 2023-08-23 13:17:08.425076 |
| updated_at | 2024-10-16 14:44:35.983596 |
| description | Interface to the SAT solver Glucose for the RustSAT library. |
| homepage | |
| repository | https://github.com/chrjabs/rustsat |
| max_upload_size | |
| id | 952013 |
| size | 7,450,560 |
Christoph Jabs (chrjabs)
documentation
README
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 modequiet: 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.