Closed mdiep closed 7 years ago
let x: Variable<Int> let goal: Goal = (5..<10).contains(x)
Added Variable.in() in #19.
Variable.in()