Googleはこんなのも作ってるのね。この Constraint Programming solver はどれくらい使えるのかなぁ。あと、GoogleはSCIPのライセンスを買ってるだけあって、SCIPへのインターフェースもあるようだ。