GitHub repository: ltettoni/logic2j-api
Primary language: Java
Description: A small library with base interfaces, objects and exceptions to define the API to a predicate solver.