Generated docs for https://github.com/fmstephe/erlang-sat-solver