satchmo-2.9.0: SAT encoding monad

Index - R

reflexiveSatchmo.Relation.Prop, Satchmo.Relation
RefuseSatchmo.Binary.Op.Times
regularSatchmo.Relation.Prop, Satchmo.Relation
RelationSatchmo.Relation.Data, Satchmo.Relation
relationSatchmo.Relation.Data, Satchmo.Relation
restrictedSatchmo.Binary.Op.Fixed
restrictedTimesSatchmo.Binary.Op.Fixed