A simple little program to make minisat (hopefully) find all solutions to a problem