Implements SAT solver - Githubissues

nim-lang / nimble

Package manager for the Nim programming language.

Other

1.24k stars 174 forks source link

Closed jmgomez closed 3 months ago

ringabout commented 3 months ago

See also https://github.com/nim-lang/sat which is separated from atlas

Araq commented 3 months ago

Put the documentation related changes into its own pull request please.