Integrate faster prime implicant computation
We propose in a paper to be presented in FMCAD 2013 a new algorithm for computing prime implicants in a CDCL solver. The code of that paper is available on a specific branch (BRESIL). We need to move that code to the main branch now, and to make a release of Sat4j including that new feature before presenting that work at FMCAD.