Version 1.7 - No functional changes.
            - Upgraded to smodels-2.27 (no effect in performace)
            - Fixed compile errors (missing prototypes) found when
              compiling with gcc 3.2.2. Also fixed some compiler warnings
              in the process.
              22.9-2003

Version 1.6 - Bug fix: When the postset of a condition was optimized away
              and the condition also had a cut-off in its postset, sometimes
              the condition was assumed (incorrectly) to have a token.
              A workaround for versions 1.5 and older is to use the "-O0"
              flag, or to upgrade to Version 1.6 (preferred).
              (Thanks to Stefan Schwoon for the bug report.)
              20.8-2002

Version 1.5 - Upgraded to smodels-2.26
            - Fixed a bug in printing out the millisecond time field. Two
              milliseconds would end up being printed as 0.2 instead of the
              correct 0.002 value. (Thanks to Victor Khomenko for the bug
              report.)

Version 1.4 - Upgraded to smodels-2.23
            - Added an new option "-n", which uses smodels with no lookahead.
              It is very fast on simple examples! (It seems that 95% of
              my examples are quite simple, hmmm...) However it is not at all
              robust against hard examples (unlike the default option). My
              suggestion is to try "-n" to see how well simple bruteforce
              search would do on your example.
            - Fixed time wrapping around in large examples on a Solaris host

Version 1.3 - Upgraded to smodels-2.22
            - Fixed a bug in formula parsing: constants 1 = "true" and
              0 = "false" were incorrectly parsed

Version 1.2 - Upgraded to smodels-2.14
            - Reachability property checking added, use option "-f"
              to specify a PEP formula file. Deadlock checking is the
              default.
            - New optimization added to use multiple heads in
              choice event rules when "-O1" or above used. Only affects
              the number of rules generated, no great performance gains.
            - Added a new optimization "enabledness closure" at "-O3",
              which was made the default level. The level "-O2" currently
              disables only this option for easy comparisons.
            - Fixed a bug in counterexample printing. Some events could
              be missing from the event trace.

Version 1.1 - Changed the name from "dlsmodels" to "mcsmodels"
            - Upgraded smodels to smodels-2.9, with small
              changes to smodels api and statistics. Performance
              changes of +15% to -5% observed.

Version 1.0 - Initial release