Published June 22, 2018
| Version v0.2
Software
Open
jonaprieto/agda-metis v0.2
Authors/Creators
- 1. Universitetet i Bergen
- 2. Universidad EAFIT
Description
Improved the performance of the resolve rule
Files
jonaprieto/agda-metis-v0.2.zip
Files
(434.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:38bdf01ec05be07e7d55fc254265f5ec
|
434.0 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/jonaprieto/agda-metis/tree/v0.2 (URL)