MIT licensed by Stephen Diehl
This version can be pinned in stack with:picosat-0.1.5@sha256:e0626c0ae0218ad24d97b7ec509aecaa9334ac30a3099e470260bf52db84d2f1,2107

Module documentation for 0.1.5

picosat provides bindings for the fast PicoSAT solver library.