1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{
"name": "Depqbf",
"description": "Solver for quantified boolean formulae (QBF)",
"url": "https://github.com/lonsing/depqbf/archive/version-6.03.tar.gz",
"mirror": null,
"homepage": "https://lonsing.github.io/depqbf/",
"depends": [],
"resource": [
{
"name": "nenofex",
"url": "https://github.com/lonsing/nenofex/archive/version-1.1.tar.gz"
},
{
"name": "picosat",
"url": "http://fmv.jku.at/picosat/picosat-960.tar.gz"
}
],
"conflicts": [],
"patches": [],
"install": [
"(buildpath/\"nenofex\").install resource(\"nenofex\")",
"(buildpath/\"picosat-960\").install resource(\"picosat\")",
"system \"./compile.sh\"",
"bin.install \"depqbf\"",
"lib.install \"libqdpll.a\", \"libqdpll.1.0.dylib\""
],
"version": "6.03",
"file": "depqbf.rb"
}
|
