Un-approved Changes Since API Freeze

org.sat4j.core(2.1.1)
org.sat4j.LightFactory
org.sat4j.pb(2.1.1)
org.sat4j.pb.tools.DependencyHelper#void atLeast(C, int, T[])
org.sat4j.pb.tools.DependencyHelper#void atLeast(C, BigInteger, WeightedObject[])
org.sat4j.pb.tools.DependencyHelper#void atMost(C, int, WeightedObject[])
org.sat4j.pb.tools.DependencyHelper#void atMost(C, int, T[])
org.sat4j.pb.tools.DependencyHelper#void atMost(C, BigInteger, WeightedObject[])
org.sat4j.pb.tools.DependencyHelper#void discardSolutionsWithObjectiveValueGreaterThan(long)
org.sat4j.pb.tools.DependencyHelper#Map getVariablesMapping()
org.sat4j.pb.tools.IFormula
org.sat4j.pb.tools.Not
org.sat4j.pb.tools.Operator

Valid HTML 4.01 Transitional