Constraint solver for Lua
