markelliot/backtrack-sat-solver archive