search

vle-forge / packages

Packages for VLE: output, subformalisms, examples
3 stars 7 forks source link

Decision: providing a way to use parametrized predicates #92

Open Chabrier opened 9 years ago