backtrack 0.2.2

Solve hard constraints easily
Documentation