New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Autodebug in dbmode #245

Open

grandrew opened this issue Oct 15, 2021 · 0 comments

Assignees

Contributor

grandrew commented Oct 15, 2021

run each procedure as goal
relax math constraints - one by one
find changes from last solved version and solve these changes added step by step one by one
release string constraints values one by one
solve counting constraints inreasing one be one until not solved

not touching JOIN constraints (see foreign keys)

grandrew self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment