SATLIB - Version History / Updates / News


01/05/11 Version 1.4.4: New benchmark instances (Ofer Shtrichman's bounded model checking set. Some additions to annotated bibliography. Added link to Osamu Watanabe's SAT instance generation page ("Links" section), some new entries in the "People" section.
01/02/06 Version 1.4.3: New version of Hantao Zhang's SATO ("Solvers" section) - the old version 3.0 was apparently buggy. Organisation of "Solvers" section also slightly changed (newer version appear now before older versions of the same solver).
00/12/12 Version 1.4.2: The SATLIB main site is now located at www.satlib.org; added new version of SATZ-rand ("Solvers" section), link to Miroslav Velev's Benchmark set ("Links" section), some links in the "People" section, and some new events ("Events" section).
00/09/23 Version 1.4.1: Added new E-mail access to Roberto Bayardo's REL_SAT ("Solvers" section), added link to SAT Live! page ("Links" section).
00/08/11 Version 1.4: New benchmark sets (backbone minimal and controlled backbone size random 3 SAT, contributed by Josh Singer), some new entries in "People" section.
00/06/20 Version 1.3.4: Updated "Events" section, some new bibliography entries, added links to SAT'2000 group photo.
00/05/24 Version 1.3.3: Added unsatisfiable Random-3-sat instances; added some people in "List of People" and links in "Links to Related Sites".
00/05/09 Version 1.3.2: Extension of Benchmark set comprising SAT-encoded quasigroup (or Latin square) instances which have been submitted by Hantao Zhang and the instances of the SAT Competition Bejing.
Added draft version of Annotated Bibliography on SAT
New version of Joao P. Marques da Silva's GRASP solver.
Some people added to the "List of People".
Some links added in "Links to Related Sites".
00/03/24 Version 1.3.1: New versions of Chu Min Li's satz and Roberto Bayardo's REL_SAT solvers.
99/12/23 Version 1.3: The old page became too unwieldy and has been restructured; now, each section has its own subpage. A new class of benchmark problems (Morphed Graph Colouring Problems) has been added to the Benchmark Problem Section. Some people were added to the "List of People".
After due to some unexpected hardware problems, our main server in Darmstadt was down for most of November, now both the Darmstadt and Vancouver sites are up and running again.
99/08/25 Version 1.2.1: New version of Roberto Bayardo's REL_SAT solver
99/06/24 Version 1.2: Exactly one year after SATLIB 1.0 was launched, Version 1.2 provides a substantially extended benchmark set (including the benchmark collection from the 2nd DIMACS Challenge), new links to related sites and some more people involved in SAT research as well as a new, experimental version of Roberto Bayardo's REL_SAT solver.
Our North American mirror site, located at the University of British Columbia in Vancouver, Canada is now online.
98/07/20 Version 1.1: Submission guidelines now available! Added two solvers (GRASP by Joao P. Marques da Silva and SATO by Hantao Zhang); added some links to related sites and people involved in SAT research.
98/06/24 Version 1.0 of SATLIB goes online.

© hh, last update 00/12/27.