GitHub repository: s-match/s-match-nlp
Primary language: Java
Description: S-Match NLP contains preprocessors for converting natural language into logical formulas.