sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
homebrew-core/Formula/depqbf.rb

14 lines
321 B
Ruby
Raw Normal View History

depqbf 1.0 - solver for quantified boolean formulas http://lonsing.github.io/depqbf/ DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. Closes Homebrew/homebrew#19522. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-04-29 20:56:46 +00:00
require 'formula'
class Depqbf < Formula
homepage 'http://lonsing.github.io/depqbf/'
depqbf 3.0
2014-02-15 18:01:18 +00:00
url 'https://github.com/lonsing/depqbf/archive/version-3.0.tar.gz'
sha1 '4dbce430731ba0424b24f3960b932fe2984eb452'
depqbf 1.0 - solver for quantified boolean formulas http://lonsing.github.io/depqbf/ DepQBF is a search-based solver for quantified boolean formulae (QBF) in prenex conjunctive normal form. It is based on the DPLL algorithm for QBF, called QDPLL, with conflict-driven clause and solution-driven cube learning. Closes Homebrew/homebrew#19522. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-04-29 20:56:46 +00:00
head 'https://github.com/lonsig/depqbf.git'
def install
system "make"
bin.install "depqbf"
end
end