org.sat4j.maxsat
Classes
BugFatih2
MarcelBugsTests
MichalBug
TestDavid
TestSoftCard