extra credit Search 85,062 technologies ⌘K Download for Mac

clingo

ASP system to ground and solve logic programs

Category
Homebrew formulae
brew install clingo
↑↓ move ↵ open