aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
Commit message (Expand)AuthorAge
* Numeric solver dreal hardcoding -> configV4transformationLibravatar OszkarSemerath2021-07-30
* 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
* Fix Z3 dependencyLibravatar Kristóf Marussy2020-11-26
* Use String to create RealExprLibravatar anqili4262020-05-13
* removed unnecesary printingLibravatar Oszkar Semerath2020-05-12
* precise time measurements for the numeric solverLibravatar Oszkar Semerath2020-05-12
* Fixed bug in setting constant typesLibravatar anqili4262020-05-11
* Added support for real numbersLibravatar anqili4262020-05-10
* closing numerical solverLibravatar Oszkar Semerath2020-05-10
* Numeric Solver integration to explorationLibravatar Oszkar Semerath2020-05-09
* Added new testLibravatar anqili4262020-04-22
* Added measurementsLibravatar anqili4262020-04-15
* Added test methods with running time measurementLibravatar anqili4262020-04-15
* Added logic to get a solutionLibravatar anqili4262020-04-15
* Updated logic that creates a numeric problem using matchesLibravatar anqili4262020-04-08
* Added logic to create a numeric problem instance with pattern matchesLibravatar anqili4262020-04-07
* Added logic to form numeric problem templatesLibravatar anqili4262020-03-31
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-10 18:25:54 +0000