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
