0e2e45d Use only one SAT model. — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Use only one SAT model.

Vsevolod Stakhov committed 12 years ago

commit 0e2e45d7938586f2ec11b85d8d7df0d50d52e053
parent 64daf42

1 file changed +1 -1

modified scripts/pkg_aspcud.sh

@@ -32,7 +32,7 @@

 # pkg -o CUDF_SOLVER=/path/to/pkg_aspcud.sh <upgrade|install|remove>
 [ -z "$CLASP_OPTS" ] && CLASP_OPTS="--opt-heu=1 --sat-prepro --restarts=L,128 --heuristic=VSIDS --opt-hierarch=1 --local-restarts --del-max=200000,250 --save-progress=0"
 [ -z "$CLASP_OPTS" ] && CLASP_OPTS="--opt-heu=1 --sat-prepro --restarts=L,128 --heuristic=VSIDS --opt-hierarch=1 --local-restarts --del-max=200000,250 --save-progress=0 --quiet=1,1"
 [ -z "$CLASP" ] && CLASP="clasp"
 [ -z "$GRINGO_OPTS" ] && GRINGO_OPTS="/usr/local/share/aspcud/misc2012.lp"