Potassco Files

clasp 3.0.0: Friday, 14th February 2014
  1. Integrated support for disjunctive solving from claspD-2
  2. Integrated domain heuristic from hclasp via option "--heuristic=domain"
    * added "--dom-pref" and "--dom-mod" for applying domain modifications to certain subsets of atoms
  3. Optimization
    * replaced global "--opt-hierarch" option with more general per thread option "--opt-strategy"
      to enable competition-based optimization during parallel solving
    * integrated unsatisfiable-core based optimization from unclasp via "--opt-strategy={4,5}"
    * replaced "--opt-ignore", "--opt-all", "--opt-best" with option "--opt-mode" and
      added new reasoning mode for enumerating optimal models via option "--opt-mode=optN"
    * renamed "--opt-value" to "--opt-bound"
  4. Misc
    * added a new configuration "tweety" and made it the default for asp problems
	* removed option "--portfolio" in favour of "--configuration=<file>"
	* added second argument to "--contraction" for replacing long nogoods with decision sequence/all uip clause
	* added option "--out-hide-aux" for hiding atoms starting with "_" in models
	* added option "--out-atomf" for setting atom output format
	* added "--outf=3" for disabling output
	* simplified deletion options
  5. Internals & Integration with clingo
	* implemented new configuration class
    * moved option handling and output classes to libclasp
    * simplified/cleaned up major interfaces
	* added support for asynchronous solving
    * added support for incremental/volatile enumeration/optimization
    * added support for adding/removing aux variables during solving
    * added low-level interface for accessing statistics