ITITmacUNIXPATH Sugarと制約ソルバーcryptominisatの開発環境の構築 2019年6月29日 この記事では、Sugarと制約ソルバーcryptominisatを利用した開発環境の構築の流れを紹介します。 はじめに 開発環境構築の記事を書こうと思ったきっかけは、Sugar導入に関する記事が少なすぎたからです。 また、一般的にはSugarと言ったら、Minisatを利用する様ですが、私の環境ではMinisatがうま...コマ