Riss formulae for the Homebrew package manager.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Formula
LICENSE
README.md

README.md

Homebrew Riss

Homebrew formulae to install the Riss SAT solver and coprocessor.

$ brew tap sentient-lang/riss
$ brew install riss

License

Copyright © 2016 Sentient Lang.

This homebrew tap is distributed under the MIT License.

Riss has its own license that can be found here.