Add function to delete a minisat solver
Check for negations when simplifying formula
Add new interpolation system