Fix memory leak in case of repeated use of Sat4j in an application
In an application creating new solvers on user's action, the consumption of memory is growing. It looks like there is a memory leak somewhere.
In an application creating new solvers on user's action, the consumption of memory is growing. It looks like there is a memory leak somewhere.