backtrack 0.1.1

Solve hard constraints easily
Documentation