「Picat実習マニュアル」の第零版alpha06を公開しました。前バージョン（第零版alpha05）からの主要な変更点： 第9章「制約」に次の節を追加しました。 第9.1節「制約の基礎」 第9.2節「ドメイン変数」 第9.3節「算術制約」 第9.4節「ブーリアン制約」