Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Translated PQueryies are added to annotation. | OszkarSemerath | 2018-02-24 |
* | Rearranged the solver configuration into different subsections | OszkarSemerath | 2017-07-12 |
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |