Menu

Tree [d75b31] master /
 History

HTTPS access


File Date Author Commit
 .settings 2011-06-02 Daniel D Daniel D [27d285] initial
 dist 2013-04-11 Daniel D Daniel D [d75b31] simplify gaussian neighbourhood until better me...
 libs 2012-10-04 Daniel D Daniel D [82241d] changed cost from float to double
 src 2013-04-11 Daniel D Daniel D [d75b31] simplify gaussian neighbourhood until better me...
 .classpath 2011-06-03 Daniel D Daniel D [5f0a52] api prototype
 .gitignore 2011-08-06 Daniel D Daniel D [a0ab23] added JAR to git
 .project 2011-07-15 Daniel D Daniel D [738bd6] rename project
 LICENSE 2012-01-19 Daniel D Daniel D [e08c2e] updated JAR
 README.rst 2011-10-14 Daniel D 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)

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.