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.4@sha256:e9e0c9681478d8712c007542688b7fd4521e22f7db4830e51c72443da8744bcf,2107

Depends on 3 packages(full list with versions):

picosat provides bindings for the fast PicoSAT solver library.