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