https://cspsat.gitlab.io/copris/
This creates an install based on Ubuntu 24.04, packed up in a docker image.
make
./copris test/Sudoku5.scala
| Name | Name | Last commit date | ||
|---|---|---|---|---|
https://cspsat.gitlab.io/copris/
This creates an install based on Ubuntu 24.04, packed up in a docker image.
make
./copris test/Sudoku5.scala