Section: Software

Glucose2

Name:

Glucose 2.0

Contact:

Laurent Simon (simon@lri.fr)

Other contacts:

Gilles Audemard (audemard@cril.univ-artois.fr)

Presentation:

The new version of Glucose (released in 2009), with auto-adaptative clause database management.