#!/bin/bash
./sudokuTranslator.pl $1
minisat $1.cnf -r $1.mod
./sudokuExtractor.pl $1.mod