Validity Checker
[CVC3]

The modules that make up the validity checker. More...

Collaboration diagram for Validity Checker:

Modules

• Search Engine
• Theories

  Theories.
  

• Validity Checker API

  The library interface of the validity checker (class ValidityChecker).
  

---

Detailed Description

The modules that make up the validity checker.