aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend
Commit message (Expand)AuthorAge
* Add strategy flag + implement alost working crossingScenarioStrategyLibravatar Aren Babikian2021-02-14
* measurement setup is ready for serverLibravatar Aren Babikian2021-02-07
* implement ignored attribute values as a config optionLibravatar Aren Babikian2021-01-22
* 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
* Add config flag for selecting numeric solver. Integ with Z3Libravatar Aren Babikian2021-01-06
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* MoDeS3 unit propagation WIPLibravatar Kristóf Marussy2020-08-06
* Restore inverse punishSizeLibravatar Kristóf Marussy2020-07-07
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Scope unsat benchmarksLibravatar Kristóf Marussy2020-05-07
| * Measurements WIPLibravatar Kristóf Marussy2019-08-14
| * Counting scope propagator (simpler than BasicTypeHierarchy)Libravatar Kristóf Marussy2019-08-01
| * Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
| * Fix CBC timeoutLibravatar Kristóf Marussy2019-07-29
| * Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
| * Polyhedron abstraction with Z3 for cardinality propagationLibravatar Kristóf Marussy2019-07-14
| * Try fix statecode bugLibravatar Kristóf Marussy2019-06-15
| * Objective POC implementationLibravatar Kristóf Marussy2019-04-08
| * Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
* | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
* | TransformationExecutionTime + weights can be controlled from configLibravatar Oszkar Semerath2020-05-17
* | fixes for the measurementLibravatar Oszkar Semerath2020-05-14
|/
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
* Rearranged the solver configuration into different subsectionsLibravatar OszkarSemerath2017-07-12
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-04 05:20:07 +0000