org.sat4j
Classes 
AbstractXplainTest
BugSAT17
BugSAT18
BugSAT25
BugSAT26
BugSAT34
BugSAT37
BugSAT43
BugSAT50
ModelIteratorTest
SingleSolutionTest
TestConstrGroup
TestDeletionXplain
TestFreeId
TestInsertionXplain
TestQuickXplain
TestQuickXplain2001
TestSatAssumps