GitHub repository: FeatureIDE/FeatJAR-formula
Primary language: Java
Description: Propositional and first-order formulas