Extra Credit

picosat_elixir

Bindings for the PicoSAT SAT solver

Official docs outline

Extra Credit builds an outline of picosat_elixir's docs the first time your work uses it. Until then, start at the official documentation.

All 1,500