org.sat4j.minisat.core
Classes 
Bug275101
BugReset
BugThomas
HeapTest
LboolTest
QueueTest
TestAtMost