Armin Biere's SAT solver Kissat be used with the RustSAT library.
Kissat versions can be selected via cargo crate features.
The following Kissat versions are available:
- v3-1-0: Version 3.1.0
- v3-0-0: Version 3.0.0
- sc2022-light: SAT Competition 2022 Light
- sc2022-hyper: SAT Competition 2022 Hyper
- sc2022-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.