search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

configurable name of top-level constraint #107

Open abau opened 10 years ago

abau commented 10 years ago

Make the name of the top-level constraint configurable, so that one can write more than one constraint in a single file without having conflicting names.