added some timing to test_min
Merge branch 'ido'
reverted test_min to use size 4
constant none + various bug fixes
domain and range restriction
some improvements to #next
extra check
updated alloy.jar
forward some operations to :to_arby_expr
two more puzzleS
Merge branch 'master' into ido
railway example and unit test