From ef85245f159402fd948ff045b56ad9095d22b39e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 3 Feb 2015 20:57:20 +0100
Subject: Implementing main loop

These new scripts are part of main loop.
kernel is not finished!!

Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.
---
 scripts/sat_solution | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100755 scripts/sat_solution

(limited to 'scripts/sat_solution')

diff --git a/scripts/sat_solution b/scripts/sat_solution
deleted file mode 100755
index 07d5118..0000000
--- a/scripts/sat_solution
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/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