GitHub repository: Harrison-Miller/satsolver
Primary language: Go
Created: 2021-12-16T16:47:23Z
Description: A simple boolean satisfiability solver that uses DPLL