org.sat4j.core
Classes

ASolverFactory (90%) Vec (88,2%) VecInt (57,3%)