aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner
Commit message (Collapse)AuthorAge
...
| * | multiple object additions fixesLibravatar Oszkar Semerath2020-05-07
| | |
| * | (lipstick)Libravatar Oszkar Semerath2020-04-15
| |/
* | changes in settings of measurementsLibravatar 20001LastOrder2019-08-20
| |
* | change exploration value functionLibravatar 20001LastOrder2019-08-13
| |
* | Configurations for generation and new domain for generation ecore modelLibravatar 20001LastOrder2019-08-08
| |
* | Further development of realistic solver, create generation config for ecore ↵Libravatar 20001LastOrder2019-07-31
| | | | | | | | models
* | consider node types during generationLibravatar 20001LastOrder2019-07-16
| |
* | Implement linear regressor using Weka3Libravatar 20001LastOrder2019-06-24
| |
* | Hill climbing for realistic graphs with consistency featureLibravatar 20001LastOrder2019-06-13
| |
* | add hill climbing to best first strategyLibravatar 20001LastOrder2019-06-05
| |
* | fix the metric calculation could mix edge types and constraintsLibravatar 20001LastOrder2019-05-29
| |
* | calculate metrics at the end of model generationLibravatar chuningli2019-05-28
| |
* | fix the null pointer error when trying reproducing the generation procedureLibravatar 20001LastOrder2019-05-27
| |
* | modify generation to log metrics measurementsLibravatar 20001LastOrder2019-05-27
|/
* Solution store diversity requirement set to 1 as defaultLibravatar OszkarSemerath2019-02-17
|
* Nodewise and graphwise diversity addedLibravatar OszkarSemerath2018-11-07
|
* Fix boolean element mapping handling in logic structures for VSLibravatar OszkarSemerath2018-11-07
|
* Solver gives partial solutions even if it fails due to timeout or unsatLibravatar OszkarSemerath2018-11-07
|
* If scope available, then it is maintained during generation via VSLibravatar OszkarSemerath2018-09-14
|
* Lowered documentation level requirement for initial partial modelsLibravatar OszkarSemerath2018-08-10
| | | As handling primitive types requires more complex initialisation.
* Fixing multiple true/false + bug preventing generation without PSLibravatar OszkarSemerath2018-06-25
|
* Fixing multiple "true" and "false" objectsLibravatar OszkarSemerath2018-06-20
|
* Visualisation stub removedLibravatar OszkarSemerath2018-06-20
|
* Visualisation example using matches during generationLibravatar OszkarSemerath2018-06-14
|
* Visualisation potentionally gets the patternsLibravatar OszkarSemerath2018-06-14
|
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
|
* ViatraSolver reports progress and stops at cancelLibravatar OszkarSemerath2018-03-03
|
* Translated PQueryies are added to annotation.Libravatar OszkarSemerath2018-02-24
|
* Diverse Solution Store runs with hash code of the representationLibravatar OszkarSemerath2017-10-27
|
* Set thread stop signal to volatileLibravatar OszkarSemerath2017-09-27
|
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
|
* Viatra Solver result support for primitive typesLibravatar OszkarSemerath2017-08-15
|
* Rearranged the solver configuration into different subsectionsLibravatar OszkarSemerath2017-07-12
| | | | | | | | | | | | | | DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space.
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
|
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10