ParamILS: News Archive |
| August 18, 2010 | ParamILS version 2.3.5 released. Minor bugfix extending the 2.3.2 bugfix to nondeterministic cases when the user has specified an instance-seed file but failed to specify N correctly. A warning is now printed, and the appropriate values are clamped. The quick start guide remains unchanged. |
| May 10, 2010 | ParamILS version 2.3.4 released. Minor bugfix removing the need for a "-I" parameter when calling ParamILS from source. Users should now be able to call ParamILS from whatever working directory they like. The quick start guide remains unchanged. |
| April 22, 2010 | ParamILS version 2.3.3 released. This is another bugfix release, in order to rectify a problem experienced when trying to run ParamILS under Windows. This is a joint release of the source along with binaries for Linux and Windows. The quick start guide remains unchanged. |
| Aug 25, 2009 | ParamILS version 2.3.2 released. This is another bugfix release, fixing a bug when tuning deterministic solvers when the -N parameter is unspecified. Tuning runs should be unchanged for other scenarios. Also contains some merged and cleaned up code from Frank Hutter. The quick start guide remains unchanged. |
| Apr 5, 2009 | ParamILS version 2.3.1 released. This is another bugfix release, in order to fix a problem where timed out runs were penalised by a factor of 10 when tuning for runtime, even when overall_obj was set to 'mean' and not 'mean10'. Scenarios not tuning for runtime should be unaffected. The quick start guide remains unchanged. |
| Nov 18, 2008 | ParamILS version 2.3 released. This is a bugfix release, to remove the mysql db access bug. There is also an updated version of the quick start guide. |
| Aug 1, 2008 | Updated the quick start guide with information on how to interpret ParamILS's output. |
| Oct 22, 2007 | ParamILS
version 2.2 released. There's
also a new
quick start guide. |
| Oct 22, 2007 | ParamILS
version 2.1 released. (This
release is to ensure repeatability of
experiments: it is the version used for the self-tuning experiments in
a journal article submitted to JAIR.) |
| Oct 22, 2007 | ParamILS version 2.0 released. (This release is to ensure repeatability of experiments: it is the version used for the experiments in a journal article submitted to JAIR.) |
| Jul 23, 2007 | Spear, a
modular arithmetic
decision procedure and SAT solver developed by Domagoj Babic
at UBC and
tuned with ParamILS, won the QF_BV category of the SMT (Satisfiability Modulo Theories) competition. See http://www.smtcomp.org/ |
| May 22, 2007 |
First version of this page set up. |