GitHub repository: lsm-5/Projeto-de-Logica-SatSolver
Primary language: C++
Description: Sat Solver através do método da tabela verdade e do método da resolução, com no máximo 4 variáveis