13 lines
298 B
Ruby
13 lines
298 B
Ruby
|
require 'formula'
|
||
|
|
|
||
|
|
class Blackbox < Formula
|
||
|
|
homepage 'http://www.cs.rochester.edu/u/kautz/satplan/blackbox/'
|
||
|
|
url 'http://www.cs.rochester.edu/u/kautz/satplan/blackbox/Blackbox44.tgz'
|
||
|
|
md5 'b11aca3c49eb63b2b914b689c2a89dec'
|
||
|
|
|
||
|
|
def install
|
||
|
|
system "make"
|
||
|
|
bin.install 'blackbox'
|
||
|
|
end
|
||
|
|
end
|