crmodels2 2.0.16 -- Apr 4, 2014

  * The solver was completely rewritten, resulting in
    performance and stability improvements.
    Version 2.0.16 is the first public release of the
    rewritten system.
  
crmodels 1.56p1 -- Mar 3, 2009

  * Configuration scripts patched to allow building on newer
    systems.


crmodels 1.56 -- Sep 25, 2006

  * New command line option "-c" allows the definition of
    lparse-style numeric constants.


crmodels 1.55 -- Jul 31, 2006

  * Fixed a bug that could cause crmodels to return non-minimal
    answer sets when an answer set that uses 0 cr-rules exists.


crmodels 1.54 -- Jul 27, 2006

  * Fixed a bug that could cause crmodels to crash when
    processing cr-rules with non-empty body.


crmodels 1.53 -- Jul 20, 2006

  * Fixed a bug that might cause incorrect answer sets to be
    returned when the user requests the computation of
    multiple answer sets.


crmodels 1.52 -- Jul 17, 2006

  * Debugging messages turned off by default.
  
  * Fixed a problem in the calls to smodels, which could cause
    smodels to complain about the command line parameters.


crmodels 1.51 -- Jul 12, 2006

  * Support for weight and minimize rules added.


crmodels 1.5 -- Jun 6, 2006

  * Binary search/Linear search hybrid algorithm.
  * Various code optimizations (e.g. use of hash lists introduced).
  * crmodels no longer needs to be installed in a directory in $PATH.
  * Major code clean-up.


crmodels 1.32 -- Feb 22, 2006