picosat

Bindings to the PicoSAT solver

MIT licensed by Stephen Diehl

Maintained by stephen.m.diehl@gmail.com

This version can be pinned in stack with:picosat-0.1.6@sha256:7d3130af636c6c8a0b373446a090daa15511d6cb0b264f4b921fa5d4a81b59a3,2138

Depends on 3 packages(full list with versions):

picosat provides bindings for the fast PicoSAT solver library.