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

Index - R

reflexiveErsatz.Relation
regularErsatz.Relation
regular_in_degreeErsatz.Relation
regular_out_degreeErsatz.Relation
RelationErsatz.Relation
relationErsatz.Relation
ResultErsatz.Solution, Ersatz
RunErsatz.Bit, Ersatz
runQSATErsatz.Problem, Ersatz
runQSAT'Ersatz.Problem, Ersatz
runSATErsatz.Problem, Ersatz
runSAT'Ersatz.Problem, Ersatz