History
Versions
8
Version
Author
Diff
Last updated
v8
rschoene
Added getting started guide. - also fixed tables for gitlab
Jun 10, 2016
v7
rschoene
More explaination for Thoughts on constraints. Some of the current problems.
Jun 12, 2015
v6
rschoene
+AST-Generation in overview
May 28, 2015
v5
rschoene
Test scenario for generation of ILP.
May 05, 2015
v4
rschoene
More thoughts on constraints and their generation.
Apr 30, 2015
v3
rschoene
updated home
Apr 21, 2015
v2
rschoene
Added and linked to formalization thoughts.
Apr 14, 2015
v1
rschoene
Creating default page
Apr 14, 2015