GitHub repository: zurlage/FeatJAR-formula
Description: Propositional and first-order formulas