Homebrew formulae to install the Lingeling, Plingeling and Treengeling SAT solvers.
$ brew tap sentient-lang/lingeling
$ brew install lingelingCopyright © 2016 Sentient Lang.
This homebrew tap is distributed under the MIT License.
Lingeling has its own license that can be found here.