「Picat実習マニュアル・第零版alpha06」を公開しました

「Picat実習マニュアル」の第零版alpha06を公開しました。

前バージョン（第零版alpha05）からの主要な変更点：

• 第9章「制約」に次の節を追加しました。
  • 第9.1節「制約の基礎」
  • 第9.2節「ドメイン変数」
  • 第9.3節「算術制約」
  • 第9.4節「ブーリアン制約」