Menu ▾ ▴

Code Commit Log


Commit Date  
[r66] by hannesklarner

minor fixes..

 2015-06-18 08:15:21 Tree
[r65] by hannesklarner

interactive decision diagrams fertig.

 2015-06-09 16:34:43 Tree
[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
Older >