resources/runtime/python/ocarina/ocarina.py · b11527aeb7318bf25f36252bc9d727d6d5b79951 · TASTE / Ocarina · GitLab

Find file Blame History Permalink

* Add function to load REAL libraries and set main theorem to · 46bfbed8
Jerome Hugues authored Jun 17, 2016
```
          evaluate
```
46bfbed8

ocarina.py 3.83 KB