Homebrew formulae to install the Riss SAT solver and coprocessor.
$ brew tap sentient-lang/riss
$ brew install rissCopyright © 2016 Sentient Lang.
This homebrew tap is distributed under the MIT License.
Riss has its own license that can be found here.