Menu
▾
▴
Tree [d75b31] master / History
| File | Date | Author | Commit |
|---|---|---|---|
| .settings | 2011-06-02 |
Daniel D
|
[27d285] initial |
| dist | 2013-04-11 |
Daniel D
|
[d75b31] simplify gaussian neighbourhood until better me... |
| libs | 2012-10-04 |
Daniel D
|
[82241d] changed cost from float to double |
| src | 2013-04-11 |
Daniel D
|
[d75b31] simplify gaussian neighbourhood until better me... |
| .classpath | 2011-06-03 |
Daniel D
|
[5f0a52] api prototype |
| .gitignore | 2011-08-06 |
Daniel D
|
[a0ab23] added JAR to git |
| .project | 2011-07-15 |
Daniel D
|
[738bd6] rename project |
| LICENSE | 2012-01-19 |
Daniel D
|
[e08c2e] updated JAR |
| README.rst | 2011-10-14 |
Daniel D
|
[2eece9] documentation updates |
Read Me
EDACC API
Experiment Design and Administration for Computer Clusters for SAT Solvers. See http://sourceforge.net/projects/edacc/ for the EDACC project.
This API provides an interface to EDACC databases to submit jobs, query their results etc. Its primary use is for automated algorithm configuration tools that want to make use of EDACC's job processing backend.
It also implements parameter space functionality that helps configurators to navigate through the parameter space of a solver.
Usage
To use the API, include the following JAR files in your code. Also make sure that EDACCAPI.jar appears before EDACC.jar in the java class path. - dist/EDACCAPI.jar - libs/EDACC.jar - libs/SevenZip.jar - mysql-connector-java-5.1.13-bin.jar (or a later version, download from MySQL website or copy from EDACC GUI repository)
