From 0b9b90f209851b8db732408df66272f2ed9234b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 16 Dec 2014 20:24:15 +0100
Subject: Add sat_solution

Added script for minisat input build and execute.
---
 scripts/sat_solution | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100755 scripts/sat_solution

(limited to 'scripts')

diff --git a/scripts/sat_solution b/scripts/sat_solution
new file mode 100755
index 0000000..07d5118
--- /dev/null
+++ b/scripts/sat_solution
@@ -0,0 +1,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"
-- 
cgit v1.2.3