Potassco Files

NOTE: 
  The supplied multi-thread binaries are statically linked against the
  Intel(R) Threading Building Blocks library (version 4.0), which
  is freely available at: http://threadingbuildingblocks.org/
  
clasp 2.1.0: Monday, 27th August 2012
  * restructured help and revised options and their defaults
    * added "--help[={1..3}]" for showing basic, advanced, or all options
	* added "--configuration" for selecting between prefabricated default configurations
	* revised deletion options and grouped them via common prefix "--del-"
	* revised thread options and added options for size-/topology-based lemma exchange
	* added support for dynamic restarts via "--restarts=D,<args>"
	* added "--sign-def" for setting default sign used in decision heuristic
	* added "--sign-fix" for disabling sign-heuristic
	* added "--init-moms" for enabling/disabling initialization of heuristic with MOMS-score
    * added "--fast-exit" for forcing app exit without cleanup
	* added "--update-act" for enabling LBD-based activity bumping
	* added "--update-mode" for configuring when update/integrate messages are handled in parallel-search
	* added "--learn-explicit" to disable usage of implication graph for learnt constraints
	* added "--share" for configuring physical constraint sharing
	* added "--init-watches" for controlling initialization of watched literals
	* added "--counter-restarts" and "--counter-bump" for enabling counter implication restarts
	* added "--lemma-out-lbd" for restricting lemmas written via "--lemma-out"
	* added "--lemma-in-lbd" for setting initial lbd of lemmas read via "--lemma-in"
	* replaced "--loops-in-heu" with more general "--score-other"
	* replaced "--rand-watches" with more general "--init-watches"
	* replaced "--initial-lookahead" with "--lookahead=<type>[,<num>]"
	* replaced "--recursive-str" with "--strengthen=<mode>[,<antes>]"
	* replaced "--copy-problem" with more general "--share"
	* removed options "--brave", "--cautious", "--solution-recording": all superseded by "--enum-mode=<type>"
	* option "--restarts" now always requires a type;
      and the "limit" parameter now sets the (initial) length of the sequence
  * disbaled signal handling during printing of models
  * fixed: Overflow on parsing large opt-values (issue 3528852)
  * fixed: Parallel bt-enumerator enumerated duplicate models under certain conditions
  * fixed: Sat-Preprocessor failed to expand models correctly under very rare conditions
  * fixed: Erroneous interplay between "otfs=2" and "reverse-arcs" could lead to the
           unjustified removal of problem constraints
  * fixed: Incorrect ordering-predicate in MinimizeConstraint could lead to wrong optima
  * fixed: Solve loop failed to handle restart on total assignment correctly resulting
           in an infinite loop on some optimization problems
  * fixed: Duplicate key in JSON-Output of lemma stats