forked from hmarkus/asp2sat
-
Notifications
You must be signed in to change notification settings - Fork 3
/
MANIFEST.in
35 lines (27 loc) · 1.29 KB
/
MANIFEST.in
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
30
31
32
33
34
35
include aspmc/programs/treegraph.lp
include aspmc/programs/guess_backdoor.lp
include aspmc/programs/guess_three.lp
include aspmc/programs/guess_tree.lp
include aspmc/external/minisat-definitions/bin/minisat
include aspmc/external/minisat-definitions/bin/defined
include aspmc/external/minisat-definitions/minisat/LICENSE
include aspmc/external/miniC2D/bin/linux/.include
include aspmc/external/c2d/bin/.include
recursive-include aspmc/external/d4/ *
prune aspmc/external/d4/objs/
include aspmc/external/flow-cutter/flow_cutter_pace17
include aspmc/external/flow-cutter/LICENSE
include aspmc/external/sharpsat-td/bin/sharpSAT
include aspmc/external/sharpsat-td/bin/flow_cutter_pace17
include aspmc/external/sharpsat-td/LICENSE
include aspmc/external/sharpsat-td/flowcutter/LICENSE
include aspmc/external/sharpsat-td/src/clhash/LICENSE
include aspmc/external/preprocessor/bin/sharpSAT
include aspmc/external/preprocessor/bin/flow_cutter_pace17
include aspmc/external/preprocessor/LICENSE
include aspmc/external/preprocessor/flowcutter/LICENSE
include aspmc/external/preprocessor/src/clhash/LICENSE
include aspmc/external/UWrMaxSAT/uwrmaxsat/build/release/bin/uwrmaxsat
include aspmc/external/UWrMaxSAT/uwrmaxsat/LICENSE
include aspmc/external/fvs/src/build/FeedbackVertexSet
include aspmc/external/fvs/LICENSE