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

Index - !

!Ersatz.Relation