GitHub repository: nickrobison/trestle
Primary language: Java
Description: Trestle Reasoner