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
* 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
* 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.2) at 2024-07-08 00:45:35 +0000