Unapproved Changes Since API Freeze

org.sat4j.core_2.0.3
org.sat4j.core.LiteralsUtils#int toDimacs(int)
org.sat4j.minisat.restarts.NoRestarts

Valid HTML 4.01 Transitional