Find all the available formulae from the Homebrew project and get a description of what the formula does. You can search for any kind of information and find the formula you will install today. Don't forget to share what you've installed using our Twitter button :)
clingo is an ASP system to ground and solve logic programs. gringo is a grounder (powering the grounding in clingo). clasp is a solver (powering the search in clingo).