Menu ▾ ▴

Code Commit Log


Commit Date  
[r64] by hannesklarner

graph drawing with DOT added.

 2015-06-04 16:49:21 Tree
[r63] by hannesklarner

ongoing stuff

 2015-06-02 13:43:59 Tree
[r62] by hannesklarner

added refinement tree and export as dot / pdf. smooth.

 2015-05-27 15:54:28 Tree
[r61] by hannesklarner

rename

 2015-05-27 09:44:18 Tree
[r60] by hannesklarner

towards next release..

 2015-05-27 09:38:18 Tree
[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
Older >