sigpwned/horn4j

A simple library for performing logical reasoning with Horn clauses for Java 11+

Language: Java - Size: 60.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0