tortis/elm-sat (elm): A basic DPLL SAT solver
Keywords: dpll-algorithm|elm|elm-lang|sat|sat-solver