ersatz-0.4: A monad for expressing SAT or QSAT problems using observable sharing.

Index - !

!Ersatz.Relation