elm-sat

Project information

A simple DPLL SAT solver in Elm (https://package.elm-lang.org/packages/tortis/elm-sat/latest/)

21 Commits
1 Branch
2 Tags

README
MIT License

Created on

January 02, 2020

Loading