From b586251381a96c97b19ce52792d649b537014126 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Fri, 18 Sep 2015 09:31:18 +0200
Subject: Add scripts buildcnf

This script is for debugging purposes only. It should be launched only
in jobfiles folder and it's generating file cnf.
---
 scripts/buildcnf | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 scripts/buildcnf

(limited to 'scripts')

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
-- 
cgit v1.2.3