aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
Commit message (Expand)AuthorAge
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* 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
* fix derived feature handling + impove dreal callingLibravatar Aren Babikian2021-02-03
* Simple working version. Still diversity issueLibravatar Aren Babikian2021-01-24
* Almost done implementing collision correctlyLibravatar Aren Babikian2021-01-22
* Major MM update + Refactor VQL + post-meeting approach changeLibravatar Aren Babikian2021-01-21
* almost finish crossscen VQL + implement ITE handling + prelim resultsLibravatar Aren Babikian2021-01-20
* add Actor+CollisionExists constrs & adjust dreal parser & measurementsLibravatar Aren Babikian2021-01-19
* add vsconfig flag to allow running dreal locallyLibravatar Aren Babikian2021-01-19
* complete queries for lane structureLibravatar Aren Babikian2021-01-17
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* remove local-docker file transferLibravatar Aren Babikian2021-01-09
* fix dup decl bug + adjust famTree case studyLibravatar Aren Babikian2021-01-07
* prepping measurement setup w/ drealLibravatar Aren Babikian2021-01-06
* implement getOneSolution with Dreal IntegrationLibravatar Aren Babikian2021-01-06
* implement isSatisfiable with Dreal integrationLibravatar Aren Babikian2021-01-06
* add numericProblemSolver supertypeLibravatar Aren Babikian2021-01-06
* prep for refactoring Numeric Probelm SolversLibravatar Aren Babikian2021-01-06
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-10 05:46:49 +0000