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

Finish Knight's Tour example #188

Closed

2 tasks done

SSoelvsten opened this issue Dec 12, 2021 · 0 comments · Fixed by #247

Closed

2 tasks done

Finish Knight's Tour example #188

SSoelvsten opened this issue Dec 12, 2021 · 0 comments · Fixed by #247

Assignees

Labels

📁 docs 📁 example 📁 zdd

Milestone

v1.1 : Zero-suppr...

Owner

SSoelvsten commented Dec 12, 2021 •

edited

Loading

With #128 we add a simple version of the Knight's Tour problem based on Bryant's N⁴ encoding. We are still missing the following

Adding explanatory comments in the .cpp file.
Add the example to the Examples in the documentation

SSoelvsten added 📁 docs 📁 example labels

SSoelvsten added this to the Zero-suppressed Decision Diagrams milestone

SSoelvsten added the 📁 zdd label

SSoelvsten mentioned this issue

Example: Knight's Tour clean up and add to documentation #247

Merged

SSoelvsten closed this as completed

SSoelvsten self-assigned this

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