scripts/buildcnf

   1 #!/bin/bash
   2 # This is simple scripts created for generating input file for PicoSAT in jobfiles folder.
   3 # Tis script is generating file cnf from files fixed and rules and add format head.
   4 # This script is for debugging purposes.
   5
   6 sed 's/$/ 0/' fixed > cnf
   7 sed 's/$/0/' rules >> cnf
   8
   9 LINE=`wc -l cnf | awk '{print $1}'`
  10 VARS=`head -1 variable_count`
  11
  12 sed  -i "1ip cnf $VARS $LINE" cnf