Kiwi is a light constraint programming solver written in Scala