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

Index - I

identityErsatz.Relation
impliesErsatz.Relation
indicesErsatz.Relation
intersectionErsatz.Relation
irreflexiveErsatz.Relation
isEvenErsatz.Bits, Ersatz
isOddErsatz.Bits, Ersatz
is_homogeneousErsatz.Relation
is_nfErsatz.Relation