solver - first steps

demo.hy

hy 0.11.0 using CPython(default) 3.4.3 on Linux
=> (import [pyherc.solver [Variable are-equal! solve]])
=> (setv var1 (Variable 1 2 3 4 5))
=> (setv var2 (Variable 3 4 5 6 7))
=> (setv var3 (Variable 5 6 7 8 9))
=> (are-equal! var1 var2)
=> (are-equal! var2 var3)
=> (solve var1 var2 var3)
=> [var1 var2 var3]
[{5}, {5}, {5}]