| File | Date | Author | Commit |
|---|---|---|---|
| .externalToolBuilders | 2012-09-24 |
|
[daa6a7] fixed build script; updated clusterracing and ibs |
| contrib | 2012-09-19 |
|
[4faf9e] Merge branch 'smbo' |
| libs | 2013-04-11 |
|
[1ac6f0] API update |
| src | 2013-04-11 |
|
[1ac6f0] API update |
| test | 2013-03-26 |
|
[844f8e] sort instances in cluster course by instance ha... |
| .classpath | 2012-11-23 |
|
[411002] Merge branch 'master' of ssh://edacc.git.source... |
| .gitignore | 2012-09-19 |
|
[4faf9e] Merge branch 'smbo' |
| .project | 2012-09-19 |
|
[4faf9e] Merge branch 'smbo' |
| LICENSE | 2012-12-17 |
|
[6de27c] Merge branch 'master' of ssh://edacc.git.source... |
| README.rst | 2013-02-03 |
|
[afd7eb] Merge branch 'master' of ssh://edacc.git.source... |
| build.xml | 2012-11-23 |
|
[411002] Merge branch 'master' of ssh://edacc.git.source... |
Experiment Design and Administration for Computer Clusters for SAT Solvers. See http://sourceforge.net/projects/edacc/ for the EDACC project.
This tool can be used to optimize the empirical performance of algorithms on problem instances automatically by adjusting free parameters of the algorithms.
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/"
The SMBO/Default_SMBO optimization procedure requires a working R installation with the Java-R-interface "JRI" and some R packages.