Scarab: a SAT-based CP System
This page details Scarab, a prototyping tool for developing SAT-based systems. Features of Scarab are follows: Expressiveness Rich constraint modeling language. Efficiency Optimized order encoding and native handling of BC/PB on Sat4j. Customizability Its core part is written in around 1000 lines of Scala. Portability Run on JVM. Download the latest jar (According to your Scala version select appr
項書き換え系に基づく制約プログラミング言語システムの実現方式について
東京情報大学研究論集 Vol. 6 No.2 (2003.2) p141-169 項書き換え系に基づく制約プログラミング言語システムの実現方式について 永井保夫 ［目次］ 1 はじめに 2 制約プログラミング言語システムの特徴ならびに研究動向 3 項書換えシステム（TRS）に基づく制約プログラミング言語システム 4 適用問題と実行例 5 おわりに 参考文献 pdfで読む ブラウザのスイッチでもどってください
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://karetta.jp/book/withoutprogramming
http://www.forest.dnj.ynu.ac.jp/~mori/MExperiment/ConstPuzzle.html
