GitHub repository: FeatureIDE/FeatJAR-formula-analysis-sat4j
Primary language: Java
Description: Analysis of propositional formulas using Sat4j