pkg:setup
(buildpath/"nenofex").install resource("nenofex")
(buildpath/"picosat-960").install resource("picosat")
./compile.sh
bin.install "depqbf"
lib.install "libqdpll.a", "libqdpll.1.0.dylib"