fuzzydl

Class SatisfiableQuery