diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2020-12-14 15:01:48 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-06 00:02:49 +0100 |
| commit | b93594c684ecbbe4540d4c9e8301a1bdb1fe5e6a (patch) | |
| tree | bd2075c69f3eef883d597cd4ae69783290ae05ad /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend | |
| parent | implement isSatisfiable with Dreal integration (diff) | |
| download | VIATRA-Generator-b93594c684ecbbe4540d4c9e8301a1bdb1fe5e6a.tar.gz VIATRA-Generator-b93594c684ecbbe4540d4c9e8301a1bdb1fe5e6a.tar.zst VIATRA-Generator-b93594c684ecbbe4540d4c9e8301a1bdb1fe5e6a.zip | |
implement getOneSolution with Dreal Integration
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericTranslator.xtend')
0 files changed, 0 insertions, 0 deletions