#!/bin/sh
dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
boolector=$dir/../../../bin/boolector
aigtocnf=$dir/../../../../aiger/aigtocnf
if [ ! -e $boolector ]
then
  echo "[error] Boolector not built"
  exit 1
fi
if [ ! -e $aigtocnf ]
then
  echo "[error] AIGER tools not installed"
  exit 1
fi
i=1
while [ $i -le 8192 ]
do
  n=`printf '%04d' $i`
  smt=addcom$n.smt2
  aig=addcom$n.aig
  cnf=addcom$n.cnf
  sed -e "s,@,$i," $dir/addcom.template > $smt
  $boolector -rwl 2 --no-sort-exp --no-sort-aig --no-sort-aigvec -dai -o $aig $smt
  $aigtocnf $aig $cnf
  i=`expr $i \* 2`
done