Add intelligent fallback from backjump to backtrack #135
ci.yml
on: pull_request
Lint
17s
Package
27s
Matrix: Test