empty precedence (optional), projections in argument filters

abau / co4

COmplexity COncerned COnstraint COmpiler

GNU General Public License v3.0

2 stars 3 forks source link

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

seems to work, but I have a few cases where formula size blows up. I'll open an issue for that.