aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/buildcnf12
1 files changed, 12 insertions, 0 deletions
diff --git a/scripts/buildcnf b/scripts/buildcnf
new file mode 100755
index 0000000..fdcf217
--- /dev/null
+++ b/scripts/buildcnf
@@ -0,0 +1,12 @@
+#!/bin/bash
+# This is simple scripts created for generating input file for PicoSAT in jobfiles folder.
+# Tis script is generating file cnf from files fixed and rules and add format head.
+# This script is for debugging purposes.
+
+sed 's/$/ 0/' fixed > cnf
+sed 's/$/0/' rules >> cnf
+
+LINE=`wc -l cnf | awk '{print $1}'`
+VARS=`head -1 variable_count`
+
+sed -i "1ip cnf $VARS $LINE" cnf