Another constraint solver