uuagc
Attribute Grammar System of Universiteit Utrecht
homepage ↗ hackage: uuagc github: UU-ComputerScience/uuagc
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.9.56 | 1 | 2 d | details › |
Versions & arches
Use flags of 0.9.56
- loag Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs