Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Numeric solver dreal hardcoding -> configV4transformation | OszkarSemerath | 2021-07-30 |
* | Optimizing generator with linear objective functions | Kristóf Marussy | 2020-11-02 |
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
* | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |