24 lines
758 B
Ruby
24 lines
758 B
Ruby
class Depqbf < Formula
|
|
desc "Solver for quantified boolean formulae (QBF)"
|
|
homepage "https://lonsing.github.io/depqbf/"
|
|
url "https://github.com/lonsing/depqbf/archive/version-4.0.tar.gz"
|
|
sha1 "dd7dd35aded11bb348ff9ef16626d481b7da3fe4"
|
|
head "https://github.com/lonsig/depqbf.git"
|
|
|
|
bottle do
|
|
cellar :any
|
|
sha256 "c42d2f72e7d98cb11eb2ece8767813586782fe50f8ea9b388dbec0babffce086" => :yosemite
|
|
sha256 "8e1ce436adc6bfa7d44b41c551be876ce9ab86b89b24dd02e0bfc69b3dc24a9e" => :mavericks
|
|
sha256 "c0731be8df5bb103dcabcd65aa8dc512a261935ce13c4db1bfe0ae8b7e1cbc56" => :mountain_lion
|
|
end
|
|
|
|
def install
|
|
system "make"
|
|
bin.install "depqbf"
|
|
lib.install "libqdpll.1.0.dylib"
|
|
end
|
|
|
|
test do
|
|
system "#{bin}/depqbf", "-h"
|
|
end
|
|
end
|