プログラム knave.sf.net

ロビン・ハンソンの"シンプルな組み合わせ情報市場メーカー"を実装し、特に"騎士とknaves"パズルの迅速かつ信頼性の高いソリューションを実装します。このおもちゃのドメインは開発を容易にし、スコープは後で拡大することができます。