Search Docker Hub
Community User
Displaying 1 to 2 of 2 repositories
The Polycheck program with assets and solver installed in a container.
1y
161
Polyregular Functions Model Checking in Haskell. This is a dev container.
467