pindakaas 0.2.0

Encoding Integer and Pseudo Boolean constraints into CNF
Documentation

pindakaas

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 10 feature flags, 2 of them enabled by default.

default

cadical (default)

pindakaas-cadical (default)

external-propagation

intel-sat

kissat

libloading

pindakaas-intel-sat

pindakaas-kissat

splr

tracing