GitHub repository: FeatureIDE/FeatJAR-formula-analysis-javasmt
Primary language: Java
Description: Analysis of first-order formulas using JavaSMT