-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: erohkohl/n-queens-sat
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Parse command line arguments: n, CDCL with https://clap.rs/
feature
#11
opened Jul 7, 2017 by
erohkohl
Custom struct CNF which includes: trim_cnf, equals, check_model and HashSet with clauses.
refactoring
#9
opened Jul 4, 2017 by
erohkohl
ProTip!
Add no:assignee to see everything that’s not assigned.