All it's missing is a constraint solver