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