Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |