rustsat-minisat
| Crates.io | rustsat-minisat |
| lib.rs | rustsat-minisat |
| version | 0.4.1 |
| source | src |
| created_at | 2023-08-23 13:15:37.425272 |
| updated_at | 2024-10-16 14:42:46.083976 |
| description | Interface to the SAT solver Minisat for the RustSAT library. |
| homepage | |
| repository | https://github.com/chrjabs/rustsat |
| max_upload_size | |
| id | 952010 |
| size | 7,094,743 |
Christoph Jabs (chrjabs)
documentation
README
rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT
The Minisat 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)
Minisat Version
The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.