GitHub repository: zurlage/FeatJAR-formula-analysis-sat4j
Description: Analysis of propositional formulas using Sat4j