mxcl/homebrew — pull request #16110 by soli (2012-11-16 14:53:15+00:00)
Title: Formula for the NuSMV model checker

First time writing a formula, and I don't know a thing about ruby, but I hope it roughly makes sense…