aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/NumericSolver.xtend
Commit message (Expand)AuthorAge
* CrossingScenario case study is ready for serverdreal-integrationLibravatar Aren Babikian2021-02-16
* add dreal-timeout flagLibravatar Aren Babikian2021-02-16
* Ready for strategies case studyLibravatar Aren Babikian2021-02-16
* fix dreal call on solved problem imprecision issueLibravatar Aren Babikian2021-02-15
* finished first impl that works sometimes (issue w/ SAT in Dreal rerun)Libravatar Aren Babikian2021-02-14
* Add strategy flag + implement alost working crossingScenarioStrategyLibravatar Aren Babikian2021-02-14
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* almost finish crossscen VQL + implement ITE handling + prelim resultsLibravatar Aren Babikian2021-01-20
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2021-01-06
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
* Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
* intermediateConsistencyCheck controls the maySatisfiable onlyLibravatar Oszkar Semerath2020-05-19
* fixes for the measurementLibravatar Oszkar Semerath2020-05-14
* logging detailed measurement data for the numerical solverLibravatar Oszkar Semerath2020-05-12
* Allow real numbers to be in the solutionLibravatar anqili4262020-05-10
* separated must and current UP rules to support non-prop neg findsLibravatar Oszkar Semerath2020-05-11
* measurement time statistics + activation selection strategiesLibravatar Oszkar Semerath2020-05-10
* uninvolved objects are filled with a default valueLibravatar Oszkar Semerath2020-05-09
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-17 00:18:47 +0000