aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/interval/SubtractionTest.xtend
Commit message (Expand)AuthorAge
* Implement interval arithmetic without exponentiationLibravatar Kristóf Marussy2019-05-08