|
snapshots
|
2011-07-28
|
adrianopol
|
[d6adcf]
connect to DB documentation added
|
|
.gitignore
|
2011-07-28
|
Daniel D
|
[b23014]
Makefile for laziness
|
|
Makefile
|
2011-07-28
|
Daniel D
|
[b23014]
Makefile for laziness
|
|
SAT_Competition_scenario_cactus.pdf
|
2012-06-25
|
Daniel D
|
[821c02]
web frontend section updated
|
|
ausgabeprofil_texnicCenter_pdf_mit_index.tco
|
2011-05-14
|
Daniel D
|
[6540f2]
Merge branch 'master' of ssh://edacc.git.source...
|
|
client.tex
|
2012-06-15
|
Daniel D
|
[010e93]
update client section
|
|
connection.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
edacclogo.jpg
|
2011-04-28
|
adrianopol
|
[f9497d]
added logo on the title page
|
|
experimentmode.tex
|
2012-03-12
|
Simon G
|
[a59aba]
experiment mode: some changes to solvers sectio...
|
|
introduction.tex
|
2012-03-25
|
Daniel D
|
[a589a4]
mysql config example update
|
|
managedbinstance.tex
|
2012-05-21
|
rretz
|
[a59b20]
updated: property and managedbinstance
|
|
managedbmode.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
managedbresultcodes.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
managedbsolver.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
modes.tex
|
2011-08-02
|
adrianopol
|
[e0e769]
working through the GUI
|
|
parameter_spec.tex
|
2011-07-28
|
Daniel D
|
[6ef02e]
updated parameter specification section
|
|
paramgraph.pdf
|
2011-06-13
|
Simon G
|
[5d233d]
merge
|
|
progress_table.png
|
2012-06-25
|
Daniel D
|
[821c02]
web frontend section updated
|
|
property.tex
|
2012-05-21
|
rretz
|
[a59b20]
updated: property and managedbinstance
|
|
systemRequirements.tex
|
2011-08-02
|
Daniel D
|
[cc3ff6]
corrected mistake
|
|
system_requirements.tex
|
2011-07-28
|
adrianopol
|
[d6adcf]
connect to DB documentation added
|
|
user_guide.bbl
|
2011-04-28
|
adrianopol
|
[d5d4b0]
user guide document following the refman docume...
|
|
user_guide.pdf
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
user_guide.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
|
web_frontend.tex
|
2013-02-21
|
adrianopol
|
[37e0e7]
Merge branch 'master' of ssh://edacc.git.source...
|
