インクリメンタル - SATソルバー Haskellライブラリとしてのシンプルで増分されたSAT SOT ... 解決する ソルバー Haskell Library. 増分 SAT を解決する ブール充足可能性の問題 ダウンロード