GitHub repository: torland-klev/sat-solver
Primary language: Java
Created: 2019-10-22T11:12:46Z
Description: Automatically checks whether a given propositional formula is satisfiable.