GitHub repository: s-match/s-match-logic
Primary language: Java
Description: S-Match Logic contains SAT solvers for deciding satisfiability of logical formulas.