#!/bin/bash # First argument is the name of the file containing input matrix # Second argument is the number of non-zero entries in the matrix logic < $1 > solve.cnf sbsat -R f solve.cnf | interp rm -f solve.cnf