@hackage / sat-simple

A high-level wrapper over minisat