aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend
Commit message (Expand)AuthorAge
* complete change of real representation BigDecimal->DoubleLibravatar Aren Babikian2021-01-14
* Infrastructure for objective functionsLibravatar Kristóf Marussy2019-04-07
* Two-valued fault tree analyzer WIPLibravatar Kristóf Marussy2019-02-19
* Progress monitor fixLibravatar OszkarSemerath2018-09-14
* cleanup imported packageLibravatar OszkarSemerath2018-07-15
* Added scope validation as a service of the solver interfaceLibravatar OszkarSemerath2018-07-15
* +SolverProcessMonitor to (optionally) report process and request cancelLibravatar OszkarSemerath2018-03-03
* Documentation level is in the config interfaceLibravatar OszkarSemerath2018-02-24
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Type scope cleanupLibravatar OszkarSemerath2017-08-15
* Modified LogicSolver to support the use of integer, string and realLibravatar Mayer Krisztián Gábor2017-08-08
* Multiple model with interpretationsLibravatar OszkarSemerath2017-07-02
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 20:37:10 +0000