Menu ▾ ▴

Code Commit Log


Commit Date  
[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
[r49] by hannesklarner

benchmark updates

 2015-01-23 15:53:12 Tree
[r48] by hannesklarner

ASP additions, ongoing..

 2015-01-20 13:29:24 Tree
[r47] by hannesklarner

added export to genYsis

 2014-11-24 09:23:42 Tree
[r46] by hannesklarner

keep on trucking

 2014-11-19 16:55:22 Tree
[r45] by hannesklarner

tikz mayham..

 2014-09-03 16:13:13 Tree
Older >