blob: 07d5118ec599235d608cb7704c7bccd2dadcfe8f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/bash
SAT_FOLDER=$1
RULES="$1/rules"
SOLUTION="$1/solution"
W_FILE=`mktemp`
if [ -r "$RULES" ]; then
cat "$RULES" | sed 's/$/ 0/' > "$W_FILE"
else
echo "Error: No rules file in specified folder." 1>&2
exit 1
fi
RL_COUNT=`wc -l < "$W_FILE"`
NUM_VAR=`tail -1 "$RULES" | sed 's/ .*//' | sed 's/-//'`
sed -i "1ip cnf $NUM_VAR $RL_COUNT" "$W_FILE"
echo "CLAUSELES: $RL_COUNT"
echo "VARIABLES: $NUM_VAR"
minisat "$W_FILE" "$SOLUTION"
rm "$W_FILE"
|
