This repository Scarab4Binder is a fork from the repository.

• Almond Example
  • A collection of Jupyter notebooks showing what you can do with the Almond Scala kernel.

Based on the above repository, this repository provises a binder setting for running a constraint programming system Scarab.

Credits and Links to related software:

• Copris is a constraint programming system on Scala.
  • Copris Example is example Jupyter notebooks of a constraint programming system Copris running on Almond Scala kernel.
  • index.ipynb is based on the one in this repository.
• Scala
• Sat4j
• Jupyter
• Almond
• Binder
• Sugar
• Scarab