Search Docker Hub
Community User
Displaying 1 to 2 of 2 repositories
PHPSA static analysis tool for PHP
8y
622
Docker image for clingo, an answer set programming solver with examples to play around.
854