GitHub repository: predicode/predicator
Primary language: Java
Created: 2018-04-25T14:18:43Z
Description: Predicate calculus library