fuzzydl

Class MaxSatisfiableQuery