Menu ▾ ▴

Code Commit Log


Commit Date  
[r59] by hannesklarner

updates..

 2015-05-18 08:17:12 Tree
[r58] by hannesklarner

some bugfixes

 2015-02-26 16:08:55 Tree
[r57] by hannesklarner

ASPsolver bugfix out of memory

 2015-02-05 13:23:27 Tree
[r56] by hannesklarner

debugg off

 2015-02-05 11:09:30 Tree
[r55] by hannesklarner

ASP crash fix und ILP timelimit bug fix

 2015-02-05 11:05:38 Tree
[r54] by hannesklarner

fixed gurobi time limit

 2015-02-02 10:32:05 Tree
[r53] by hannesklarner

updated ILP timeout with gurobipy parameter

 2015-01-30 14:44:07 Tree
[r52] by hannesklarner

fixed ASP timeout bug

 2015-01-30 14:24:20 Tree
[r51] by hannesklarner

debuggin

 2015-01-29 11:14:43 Tree
[r50] by hannesklarner

Change to CLASP3.1

 2015-01-29 11:04:40 Tree
Older >