Hello, at http://www.ok-sat-library.org/ the new package with number 00145 is available. An overview on the changes for this release can be found at http://cs.swan.ac.uk/~csoliver/ok-sat-library/internet_html/doc/local_html/PackageHistory.html Best wishes Oliver -- Dr. Oliver Kullmann Department of Computer Science College of Science, Swansea University Faraday Building, Singleton Park Swansea SA2 8PP, UK http://cs.swan.ac.uk/~csoliver/