GitHub repository: paultristanwagner/satisfiability-checking
Primary language: Java
Description: Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV), and other algorithms related to satisfiability checking.