rustsat-kissat 0.3.0

Interface to the SAT solver kissat for the RustSAT library.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

[![Check & Test](https://github.com/chrjabs/rustsat/actions/workflows/kissat.yml/badge.svg)](https://github.com/chrjabs/rustsat/actions/workflows/kissat.yml)
[![crates.io](https://img.shields.io/crates/v/rustsat-kissat)](https://crates.io/crates/rustsat-kissat)
[![docs.rs](https://img.shields.io/docsrs/rustsat-kissat)](https://docs.rs/rustsat-kissat)
[![License](https://img.shields.io/crates/l/rustsat-kissat)](../LICENSE)

<!-- cargo-rdme start -->

# rustsat-kissat - Interface to the kissat SAT Solver for RustSAT

Armin Biere's SAT solver [Kissat](https://github.com/arminbiere/kissat) to be used with the [RustSAT](https://github.com/chrjabs/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 mode
- `safe`: disable writing through 'popen' for more safe usage of the library in applications
- `quiet`: 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.1](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.1)
- `v4-0-0`: [Version 4.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-4.0.0)
- `v3-1-0`: [Version 3.1.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.1.0)
- `v3-0-0`: [Version 3.0.0](https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0)
- `sc2022-light`: [SAT Competition 2022 Light](https://github.com/arminbiere/kissat/releases/tag/sc2022-light)
- `sc2022-hyper`: [SAT Competition 2022 Hyper](https://github.com/arminbiere/kissat/releases/tag/sc2022-hyper)
- `sc2022-bulky`: [SAT Competition 2022 Bulky](https://github.com/arminbiere/kissat/releases/tag/sc2022-bulky)

Without any features selected, the newest version will be used.
If conflicting Kissat versions are requested, the newest requested version will be selected.

<!-- cargo-rdme end -->