search

CSU-CS-Melange / AlphaZ

MIT License
2 stars 1 forks source link

Polymodel existential fix #25

Closed lnarmour closed 11 months ago

lnarmour commented 11 months ago

Fixes issue https://github.com/CSU-CS-Melange/AlphaZ/issues/23.

Now the org.polymodel.algebra ISL prettyprinter correctly adds existential clauses when needed.