Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Numeric solver dreal hardcoding -> configV4transformation | 2021-07-30 | |
| | |||
* | CrossingScenario case study is ready for serverdreal-integration | 2021-02-16 | |
| | |||
* | Add strategy flag + implement alost working crossingScenarioStrategy | 2021-02-14 | |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | |
| | |||
* | implement isSatisfiable with Dreal integration | 2021-01-06 | |
| | |||
* | add numericProblemSolver supertype | 2021-01-06 | |
| | |||
* | prep for refactoring Numeric Probelm Solvers | 2021-01-06 | |
| | |||
* | implement setup for dreal calls | 2021-01-06 | |
| | |||
* | Fix Z3 dependency | 2020-11-26 | |
| | |||
* | logging detailed measurement data for the numerical solver | 2020-05-12 | |
| | |||
* | Numeric Solver integration to exploration | 2020-05-09 | |