GrAnDe (Ground And Decide) is a system for CNF first order problems with a finite Herbrand universe. It is implemented by combining the ground-instance generating program eground with the propositional prover ZChaff. eground is based on the E libraries. eground and ZChaff are combined with a Perl script called And.

GrAnDe has been created by:

The latest version of GrAnDe can be created, by following these instructions (we cannot provide a single source tarball, due to licensing restrictions):