TakehideSoh/Scarab4Binder

Scarab 4 Binder

• 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