adding new files of aiger and minisat