Add solve-with function to minisat interface