A simple library for performing logical reasoning with Horn clauses for Java 11+
Primary LanguageJavaApache License 2.0Apache-2.0