Menu ▾ ▴

Tree [37e0e7] master /
 History

HTTPS git://
HTTPS access

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