kissat 0.1.0

A simple wrapper for the Kissat SAT solver
Documentation
  • Coverage
  • 100%
    17 out of 17 items documented1 out of 17 items with examples
  • Size
  • Source code size: 856.51 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 820.49 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 41s Average build duration of successful builds.
  • all releases: 41s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Repository
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • jleahy

Kissat SAT solver

A simple wrapper for the Kissat SAT solver.

Kissat is a state of the art SAT solver by Armin Biere and others. It is written in C rather than C++, unlike CaDiCaL (upon which it is based) and older solvers such as minisat and glucose. This makes it particularly nice to embed in Rust.

This crate builds the entire source code of Kissat, and provides a safe interface over it.

This version is currently tied to the version of kissat that was submitted to sc2021.