Softpedia >Mac >Math/Scientific >SAT4J >  Changelog

SAT4J Changelog

What's new in SAT4J 2.3.3

Feb 11, 2013
  • Bug:
  • [SAT-65] - Fix the value of the objective function in maxsat when some constraints are satisfied
  • [SAT-75] - create a toString method for negated objects within Dependency Helper
  • [SAT-76] - Intermediate results not displayed during optimization
  • [SAT-77] - Allow dependencyHelper to return the truth value of a negated object
  • [SAT-84] - Maxsat fails with java.lang.ArrayIndexOutOfBoundsException
  • [SAT-87] - exploding runtime in case of repeated calls for satisfiability
  • Improvement:
  • [SAT-33] - Improve project documentation (including web site)
  • [SAT-85] - Allow easy access to a pseudo boolean optimizer
  • [SAT-86] - Add Glucose 21 dynamic restart strategy and enable it by default
  • [SAT-88] - Avoid calling visualization code when no visualization is needed
  • New Feature:
  • [SAT-13] - Compute minimal size unsat core
  • [SAT-23] - Optimization timeout
  • [SAT-68] - Allow computing all MUSes using two calls to the SAT solver
  • [SAT-70] - Allow the possibility to compute counter models (negate a formula)
  • [SAT-80] - Allow lexicographic optimization from OPB files
  • [SAT-83] - Allow JSON I/O for embedded applications

New in SAT4J 2.3.2 (Aug 13, 2012)

  • Bug:
  • [SAT-55] - Fix memory leak in case of repeated use of Sat4j in an application
  • [SAT-60] - ClassCastException when a class implements Propagatable but not Constr watches a conflicting literal
  • Improvement:
  • [SAT-38] - Investigate usage of plain CNF rather than custom cardinality of PB constraints
  • [SAT-59] - Use package-info.java instead of package.html for package JavaDoc
  • [SAT-67] - Concurrent calls to isSatisfiable
  • New Feature:
  • [SAT-56] - Allow the end user to visualize the search of the solvers
  • [SAT-63] - Make Java 1.5 binaries instead of 1.4
  • [SAT-71] - Add statistics in ManyCore solvers on the solvers that answers
  • Sub-task:
  • [SAT-51] - Allow usage of Lower Bounding on Sat4j PB command line

New in SAT4J 2.1.1 (Jun 17, 2010)

  • Bugfix release: fixes an efficiency error in the Xplain class.