code.ipkg 262 Bytes
Newer Older
Nuria Brede's avatar
Nuria Brede committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
package valval

modules= Equality
       , Sigma
       , Framework
       , List
       , Id
       , ListMeasures
       , MaxList
       , GoodBadExample
       , SchedulingExample
       , GoodBadCounterExamples

opts="--allow-capitalized-pattern-variables"