Release history

The OKsolver-package has been removed since the (original) OKsolver is included in the OKlibrary which will become available beginning of 2008.

Release 0.9 with OKsolver version 1.0 on May 5, 2000: This is the initial release. Everything with "OKsolver" should be fine, but I guess there are some flaws in the documentation, ... Hopefully the reader will tell me about it.
Release 0.91 with OKsolver version 1.0 on May 7, 2000: Just a few typos in the documentation have been eliminated, a few new lines have been added. And the pre-compiled version of OKsolver has been removed, and in the directory "Dokumentation" you find now also an example for format T5.
Release 0.92 with OKsolver version 1.2 on July 9, 2002: Exactly the version which participated at the SAT 2002 Competition , yet without documentation.

Last modified: Fri Dec 21 14:16:40 GMT 2007