org.sat4j.maxsat
Classes 
BugFatih2
MarcelBugsTests
MichalBug
TestDavid
TestSoftCard