Coprisによる制約プログラミング入門この文書では，Scala 言語に埋めこまれた制約プログラミング用DSL (Domain Specific Language)である Copris を用い， 制約プログラミングの入門的な内容を説明する． Java runtime version 1.8 以降をインストールする Scala version 2.12 をインストールする Scalaのバージョンをチェックする $ scala -version Scala code runner version 2.12.5 -- Copyright 2002-2018, LAMP/EPFL and Lightbend, Inc. CoprisはScala version 2.12で動作する (他のバージョンでは動作しない)． Coprisリポジトリ をclone ここでは，以下の例題を考える． 1円硬貨，5円硬貨，10円硬貨を合計で15枚，それぞ
