search

mdiep / Logician

Logic programming in Swift
MIT License
194 stars 10 forks source link

Add inequality constraints #6

Closed mdiep closed 8 years ago

mdiep commented 8 years ago 
let x = Variable<Int>()
let goal: Goal = x != 5