Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | add vsconfig flag to allow running dreal locally | 2021-01-19 | |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | 2021-01-06 | |
| | |||
* | Optimizing generator with linear objective functions | 2020-11-02 | |
| | |||
* | MoDeS3 unit propagation WIP | 2020-08-06 | |
| | |||
* | Restore inverse punishSize | 2020-07-07 | |
| | |||
* | Trying to fix performance regressions | 2020-07-07 | |
| | |||
* | Fix scope + numerical propagation WIP | 2020-06-27 | |
| | |||
* | Merge branch 'kris' | 2020-06-25 | |
|\ | |||
| * | Scope unsat benchmarks | 2020-05-07 | |
| | | |||
| * | Measurements WIP | 2019-08-14 | |
| | | |||
| * | Counting scope propagator (simpler than BasicTypeHierarchy) | 2019-08-01 | |
| | | |||
| * | Configurability and better statistics for measurements | 2019-08-01 | |
| | | |||
| * | Fix CBC timeout | 2019-07-29 | |
| | | |||
| * | Cardinality propagator WIP | 2019-07-24 | |
| | | |||
| * | Polyhedron abstraction with Z3 for cardinality propagation | 2019-07-14 | |
| | | |||
| * | Try fix statecode bug | 2019-06-15 | |
| | | | | | | | | Modified graph width calculation to not depend on order of nodes | ||
| * | Objective POC implementation | 2019-04-08 | |
| | | |||
| * | Infrastructure for objective functions | 2019-04-07 | |
| | | |||
* | | option to calculate object creation costs in fitness | 2020-05-19 | |
| | | |||
* | | TransformationExecutionTime + weights can be controlled from config | 2020-05-17 | |
| | | |||
* | | fixes for the measurement | 2020-05-14 | |
|/ | |||
* | Translated PQueryies are added to annotation. | 2018-02-24 | |
| | |||
* | Rearranged the solver configuration into different subsections | 2017-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. | ||
* | Migrating Additional projects | 2017-06-10 | |