rustsat-kissat
| Crates.io | rustsat-kissat |
| lib.rs | rustsat-kissat |
| version | 0.3.1 |
| source | src |
| created_at | 2023-08-23 13:17:50.012368 |
| updated_at | 2024-10-16 14:44:11.694268 |
| description | Interface to the SAT solver kissat for the RustSAT library. |
| homepage | |
| repository | https://github.com/chrjabs/rustsat |
| max_upload_size | |
| id | 952014 |
| size | 6,879,163 |
Christoph Jabs (chrjabs)
documentation
README
rustsat-kissat - Interface to the kissat SAT Solver for RustSAT
Armin Biere's SAT solver Kissat to be used with the RustSAT library.
Note: at the moment this crate is known to not work on Windows since Kissat is non-trivial to get to work on Windows.
Features
debug: if this feature is enables, the C library will be built with debug functionality if the Rust project is built in debug modesafe: disable writing through 'popen' for more safe usage of the library in applicationsquiet: exclude message and profiling code (logging too)
Kissat Versions
Kissat versions can be selected via cargo crate features. The following Kissat versions are available:
v4-0-1: Version 4.0.1v4-0-0: Version 4.0.0v3-1-0: Version 3.1.0v3-0-0: Version 3.0.0sc2022-light: SAT Competition 2022 Lightsc2022-hyper: SAT Competition 2022 Hypersc2022-bulky: SAT Competition 2022 Bulky
Without any features selected, the newest version will be used. If conflicting Kissat versions are requested, the newest requested version will be selected.