backtrack 0.3.0

Solve hard constraints easily
Documentation