[ sat4j-Bugs-304895 ] Memory leak in PseudoBoolean solvers with constraint learning

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Bugs item #304895, was opened at 31/03/2006 09:00
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304895&group_id=228

Category: core
Group: ongoing version (cvs)
Status: Open
Resolution: None
Priority: 9
Submitted By: Daniel Le Berre (leberre)
Assigned to: Anne Parrain (parrain)
Summary: Memory leak in PseudoBoolean solvers with constraint learning

Initial Comment:
When the pseudo boolean solvers with clause learning are running in the unit
test framework, after a while the memory is exhausted.

There must be something that prevents the garbage collector to cleanup 
properly
the allocated memory.

This is a show stopper for release 1.6

----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=304895&group_id=228