Menu

Tree [1ac6f0] master /
 History

HTTPS access


File Date Author Commit
 .externalToolBuilders 2012-09-24 Simon G Simon G [daa6a7] fixed build script; updated clusterracing and ibs
 contrib 2012-09-19 Daniel D Daniel D [4faf9e] Merge branch 'smbo'
 libs 2013-04-11 Daniel D Daniel D [1ac6f0] API update
 src 2013-04-11 Daniel D Daniel D [1ac6f0] API update
 test 2013-03-26 Daniel D Daniel D [844f8e] sort instances in cluster course by instance ha...
 .classpath 2012-11-23 Simon G Simon G [411002] Merge branch 'master' of ssh://edacc.git.source...
 .gitignore 2012-09-19 Daniel D Daniel D [4faf9e] Merge branch 'smbo'
 .project 2012-09-19 Daniel D Daniel D [4faf9e] Merge branch 'smbo'
 LICENSE 2012-12-17 Simon G Simon G [6de27c] Merge branch 'master' of ssh://edacc.git.source...
 README.rst 2013-02-03 Simon G Simon G [afd7eb] Merge branch 'master' of ssh://edacc.git.source...
 build.xml 2012-11-23 Simon G Simon G [411002] Merge branch 'master' of ssh://edacc.git.source...

Read Me

EDACC Automated Algorithm Configuration

Experiment Design and Administration for Computer Clusters for SAT Solvers. See http://sourceforge.net/projects/edacc/ for the EDACC project.

Description

This tool can be used to optimize the empirical performance of algorithms on problem instances automatically by adjusting free parameters of the algorithms.

Build

Compile by running "ant" in the top level directory containing "build.xml". An executable Java JAR file will be put into the folder "dist/aac/"

How to use

  • The tool requires a network connection to an EDACC database and a configuration experiment that was set up using the EDACC GUI. Computation clients should also be started and assigned to the configuration experiment using the GUI.
  • Write a configuration file that tells the tool which optimisation procedure to use, the database connection details, optimisation objective etc. See the "contrib/" folder for examples.
  • Start the process via "java -jar AAC.jar configfile"

Dependencies

  • Java (JRE) 6 or 7
  • some procedures need R (tested with version 2.15), JRI and certain R packages (they will tell which at runtime)

EDACC-MBO Dependencies

The SMBO/Default_SMBO optimization procedure requires a working R installation with the Java-R-interface "JRI" and some R packages.

  • JRI for R can be installed in R itself by using the command install.packages("rJava"). See also http://www.rforge.net/JRI/ and the FAQ at the bottom for adjusting environment variables (in particular LD_LIBRARY_PATH) so Java can access JRI.
  • The R packages "asbio", "cluster" and "survival" can be installed in an R shell via install.packages("pkgname")
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.