From c4e995dc66ae068d43f1df8b326ed3af3d6e6f21 Mon Sep 17 00:00:00 2001 From: Adam C. Foltzer Date: Mon, 29 Apr 2013 13:56:46 -0700 Subject: 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 #19522. Signed-off-by: Adam Vandenberg --- Library/Formula/depqbf.rb | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 Library/Formula/depqbf.rb (limited to 'Library/Formula') diff --git a/Library/Formula/depqbf.rb b/Library/Formula/depqbf.rb new file mode 100644 index 000000000..3d20c025e --- /dev/null +++ b/Library/Formula/depqbf.rb @@ -0,0 +1,33 @@ +require 'formula' + +class Depqbf < Formula + homepage 'http://lonsing.github.io/depqbf/' + url 'https://github.com/lonsing/depqbf/archive/version-1.0.tar.gz' + sha1 '117c3572f14eca154893449b23e09d9c556d3d2a' + head 'https://github.com/lonsig/depqbf.git' + + # disable static linking against C runtime + def patches + DATA + end + + def install + system "make" + bin.install "depqbf" + end +end + +# Warning: `brew pull` seems to smash line endings in this patch +__END__ +diff --git a/makefile b/makefile +index 8614075..8e5466f 100644 +--- a/makefile ++++ b/makefile +@@ -1,5 +1,5 @@ +-#CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 +-CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 -static ++CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 ++#CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -O3 -static + #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -g3 -static + #CFLAGS=-Wextra -Wall -Wno-unused -pedantic -std=c99 -DNDEBUG -g3 -pg -fprofile-arcs -ftest-coverage -static + OBJECTS=qdpll_main.o qdpll_app.o qdpll.o qdpll_mem.o qdpll_dep_man_qdag.o -- cgit v1.2.3