Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

package.elm-lang.org "dpll-algorithm" keyword

tortis/elm-sat 1.0.1
A basic DPLL SAT solver
2 versions - Latest release: over 4 years ago - 2 stars on GitHub
Related Keywords
elm 1 elm-lang 1 sat 1 sat-solver 1