×

GrAnDe

swMATH ID: 6618
Software Authors: Geoff Sutcliffe, Stephan Schulz, Sharad Malik
Description: 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.
Homepage: http://www.cs.miami.edu/~tptp/ATPSystems/GrAnDe/
Keywords: finite Herbrand universe; CNF first order problems; ZChaff
Related Software: DCTP; leanTAP; HARP; 3TAP; E-SETHEO; SATCHMO; SATO; SETHEO; TPTP
Referenced in: 2 Publications

Referenced in 1 Serial

1 Journal of Automated Reasoning

Referencing Publications by Year