aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
Commit message (Collapse)AuthorAge
* 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.2) at 2024-07-16 22:46:26 +0000