/FirstOrderParser

A parser for first-order (predicate) logic, created with JavaCC. Includes basic model classes.

Primary LanguageJava

Watchers