Skip to content
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.

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

DPLL algorithm #3866

Merged
merged 8 commits into from Nov 8, 2020
Merged

DPLL algorithm #3866

merged 8 commits into from Nov 8, 2020

Conversation

@Shivanirudh
Copy link
Contributor

@Shivanirudh Shivanirudh commented Nov 6, 2020

Describe your change:

Added DPLL algorithm

  • Add an algorithm?
  • Fix a bug or typo in an existing algorithm?
  • Documentation change?

Checklist:

  • I have read CONTRIBUTING.md.
  • This pull request is all my own work -- I have not plagiarized.
  • I know that pull requests will not be merged if they fail the automated tests.
  • This PR only changes one algorithm file. To ease review, please open separate PRs for separate algorithms.
  • All new Python files are placed inside an existing directory.
  • All filenames are in all lowercase characters with no spaces or dashes.
  • All functions and variable names follow Python naming conventions.
  • All function parameters and return values are annotated with Python type hints.
  • All functions have doctests that pass the automated testing.
  • All new algorithms have a URL in its comments that points to Wikipedia or other similar explanation.
  • If this pull request resolves one or more open issues then the commit message contains Fixes: #{$ISSUE_NO}.
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
Shivanirudh added 3 commits Nov 7, 2020
@Shivanirudh Shivanirudh requested a review from cclauss Nov 7, 2020
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
Copy link
Member

@cclauss cclauss left a comment

B

Shivanirudh added 2 commits Nov 8, 2020
@Shivanirudh Shivanirudh requested a review from cclauss Nov 8, 2020
Copy link
Member

@cclauss cclauss left a comment

We are getting there...

other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
other/dpll.py Outdated Show resolved Hide resolved
@Shivanirudh Shivanirudh requested a review from cclauss Nov 8, 2020
@cclauss
cclauss approved these changes Nov 8, 2020
Copy link
Member

@cclauss cclauss left a comment

cc74417 I renamed the file to be self-documenting and made several optimizations including defining a .__len__() method and catching the RecursionError.

@cclauss cclauss merged commit eab6b70 into TheAlgorithms:master Nov 8, 2020
2 checks passed
2 checks passed
pre-commit
Details
Travis CI - Pull Request Build Passed
Details
@Shivanirudh
Copy link
Contributor Author

@Shivanirudh Shivanirudh commented Nov 8, 2020

Yeah, thank you very much!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.