ParamILS: News Archive

 

Home  |  Papers  |  Software  |  Licensing  |  Academic Applications  |  Competitions  |  Industrial Applications  |  Speedups Achieved 

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.