René's URL Explorer Experiment


Title: Fixes recursion exception in davisb_putnamb_logemann_loveland by spazm · Pull Request #5647 · TheAlgorithms/Python · GitHub

Open Graph Title: Fixes recursion exception in davisb_putnamb_logemann_loveland by spazm · Pull Request #5647 · TheAlgorithms/Python

X Title: Fixes recursion exception in davisb_putnamb_logemann_loveland by spazm · Pull Request #5647 · TheAlgorithms/Python

Description: All Algorithms implemented in Python. Contribute to TheAlgorithms/Python development by creating an account on GitHub.

Open Graph Description: Describe your change: Fixes the recursion exception bug in dpll. Removes a case where recursion is called with unmodified symbols. Fixes recursion branch bug where both left and right actually ev...

X Description: Describe your change: Fixes the recursion exception bug in dpll. Removes a case where recursion is called with unmodified symbols. Fixes recursion branch bug where both left and right actually ev...

Opengraph URL: https://github.com/TheAlgorithms/Python/pull/5647

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:bd07dc8a-8e08-d830-9054-93055799cdd5
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idD198:10BAD9:28A2F9A:3A22A5B:6A58FF07
html-safe-nonce65593ef0eb81b2784461105297d0af648926b14acac48df7c4d6bc8d9655cf92
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMTk4OjEwQkFEOToyOEEyRjlBOjNBMjJBNUI6NkE1OEZGMDciLCJ2aXNpdG9yX2lkIjoiNDc3Mzc1MzQwMjc4NTU5NTE0MyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmaccc3f5df2695d3278e7f2a9e4412a4c8e3e600c2e10691b7f7f70794d71bb45a9
hovercard-subject-tagpull_request:768659737
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/TheAlgorithms/Python/5647/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/db7fb123d6e14823cf026a4dc67d4884c02a6f897e800561c00e2cddd6b5ac2f/TheAlgorithms/Python/pull/5647
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/db7fb123d6e14823cf026a4dc67d4884c02a6f897e800561c00e2cddd6b5ac2f/TheAlgorithms/Python/pull/5647
og:image:altDescribe your change: Fixes the recursion exception bug in dpll. Removes a case where recursion is called with unmodified symbols. Fixes recursion branch bug where both left and right actually ev...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamespazm
hostnamegithub.com
expected-hostnamegithub.com
None5f2a0c7865178af3d91dd9f13b0cdfc3c73a2529c873d2780bb4c01271a57ec6
turbo-cache-controlno-cache
go-importgithub.com/TheAlgorithms/Python git https://github.com/TheAlgorithms/Python.git
octolytics-dimension-user_id20487725
octolytics-dimension-user_loginTheAlgorithms
octolytics-dimension-repository_id63476337
octolytics-dimension-repository_nwoTheAlgorithms/Python
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id63476337
octolytics-dimension-repository_network_root_nwoTheAlgorithms/Python
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release9842457e8d7e3b2e1635a63af28da35614845510
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/TheAlgorithms/Python/pull/5647#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTheAlgorithms%2FPython%2Fpull%2F5647
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTheAlgorithms%2FPython%2Fpull%2F5647
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=TheAlgorithms%2FPython
Reloadhttps://github.com/TheAlgorithms/Python/pull/5647
Reloadhttps://github.com/TheAlgorithms/Python/pull/5647
Reloadhttps://github.com/TheAlgorithms/Python/pull/5647
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
TheAlgorithms https://github.com/TheAlgorithms
Pythonhttps://github.com/TheAlgorithms/Python
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
Notifications https://github.com/login?return_to=%2FTheAlgorithms%2FPython
Fork 50.9k https://github.com/login?return_to=%2FTheAlgorithms%2FPython
Star 223k https://github.com/login?return_to=%2FTheAlgorithms%2FPython
Code https://github.com/TheAlgorithms/Python
Issues 141 https://github.com/TheAlgorithms/Python/issues
Pull requests 876 https://github.com/TheAlgorithms/Python/pulls
Discussions https://github.com/TheAlgorithms/Python/discussions
Actions https://github.com/TheAlgorithms/Python/actions
Projects https://github.com/TheAlgorithms/Python/projects
Wiki https://github.com/TheAlgorithms/Python/wiki
Security and quality 0 https://github.com/TheAlgorithms/Python/security
Insights https://github.com/TheAlgorithms/Python/pulse
Code https://github.com/TheAlgorithms/Python
Issues https://github.com/TheAlgorithms/Python/issues
Pull requests https://github.com/TheAlgorithms/Python/pulls
Discussions https://github.com/TheAlgorithms/Python/discussions
Actions https://github.com/TheAlgorithms/Python/actions
Projects https://github.com/TheAlgorithms/Python/projects
Wiki https://github.com/TheAlgorithms/Python/wiki
Security and quality https://github.com/TheAlgorithms/Python/security
Insights https://github.com/TheAlgorithms/Python/pulse
spazmhttps://github.com/spazm
TheAlgorithms:masterhttps://github.com/TheAlgorithms/Python/tree/master
spazm:fix-dpll-recursionhttps://github.com/spazm/Python/tree/fix-dpll-recursion
Conversationhttps://github.com/TheAlgorithms/Python/pull/5647
Commits6 (6)https://github.com/TheAlgorithms/Python/pull/5647/commits
Checkshttps://github.com/TheAlgorithms/Python/pull/5647/checks
Files changedhttps://github.com/TheAlgorithms/Python/pull/5647/files
Fixes recursion exception in davisb_putnamb_logemann_lovelandhttps://github.com/TheAlgorithms/Python/pull/5647#top
spazmhttps://github.com/spazm
TheAlgorithms:masterhttps://github.com/TheAlgorithms/Python/tree/master
spazm:fix-dpll-recursionhttps://github.com/spazm/Python/tree/fix-dpll-recursion
https://github.com/spazm
spazmhttps://github.com/spazm
Oct 28, 2021https://github.com/TheAlgorithms/Python/pull/5647#issue-1038877521
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
CONTRIBUTING.mdhttps://github.com/TheAlgorithms/Python/blob/master/CONTRIBUTING.md
type hintshttps://docs.python.org/3/library/typing.html
doctestshttps://docs.python.org/3/library/doctest.html
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
spazmhttps://github.com/spazm
October 28, 2021 12:18https://github.com/TheAlgorithms/Python/pull/5647#commits-pushed-92e83cf
https://github.com/spazm
dpll: add example case for recursion bughttps://github.com/TheAlgorithms/Python/pull/5647/commits/92e83cf7204703fa2af8fe10557116b521927684
92e83cfhttps://github.com/TheAlgorithms/Python/pull/5647/commits/92e83cf7204703fa2af8fe10557116b521927684
https://github.com/spazm
dpll: add comment for each stephttps://github.com/TheAlgorithms/Python/pull/5647/commits/809ec7c61b89413059f1e6a17f9602a80a661b48
809ec7chttps://github.com/TheAlgorithms/Python/pull/5647/commits/809ec7c61b89413059f1e6a17f9602a80a661b48
https://github.com/spazm
dpll: python check on array lengthhttps://github.com/TheAlgorithms/Python/pull/5647/commits/a6ab187baa9f4df53b8b69e10c0aa144e3f3beee
a6ab187https://github.com/TheAlgorithms/Python/pull/5647/commits/a6ab187baa9f4df53b8b69e10c0aa144e3f3beee
https://github.com/spazm
dpll: fixes algo bug, recursion both went down False armhttps://github.com/TheAlgorithms/Python/pull/5647/commits/fe86ce05d904932d822efb7fb5c23da5a49197e0
fe86ce0https://github.com/TheAlgorithms/Python/pull/5647/commits/fe86ce05d904932d822efb7fb5c23da5a49197e0
https://github.com/spazm
dpll: Fixes recursion problem by checking if unit_symbol remains in u…https://github.com/TheAlgorithms/Python/pull/5647/commits/6197fc7ab0bf764abb72607ccfbeeac8eefefd47
6197fc7https://github.com/TheAlgorithms/Python/pull/5647/commits/6197fc7ab0bf764abb72607ccfbeeac8eefefd47
https://github.com/spazm
dpll: uses descriptive var names to show intent. pythonic copyhttps://github.com/TheAlgorithms/Python/pull/5647/commits/a42c6a41cee4187805769a90a71956ce031efd8a
a42c6a4https://github.com/TheAlgorithms/Python/pull/5647/commits/a42c6a41cee4187805769a90a71956ce031efd8a
awaiting reviews https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3A%22awaiting%20reviews%22
enhancement https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3Aenhancement
Oct 28, 2021https://github.com/TheAlgorithms/Python/pull/5647#event-5536255255
[mypy] Fixes typing errors in other/dpll #5648 https://github.com/TheAlgorithms/Python/pull/5648
[mypy] Fixes Fisher Yates shuffle and extends annotations #5653 https://github.com/TheAlgorithms/Python/pull/5653
[mypy] Fixes and annotates other/least_recently_used #5656 https://github.com/TheAlgorithms/Python/pull/5656
https://github.com/poyea
poyeahttps://github.com/poyea
Oct 29, 2021https://github.com/TheAlgorithms/Python/pull/5647#issuecomment-954438275
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
https://github.com/l3str4nge
l3str4ngehttps://github.com/l3str4nge
Oct 30, 2021 https://github.com/TheAlgorithms/Python/pull/5647#pullrequestreview-793600019
View reviewed changes https://github.com/TheAlgorithms/Python/pull/5647/files/a42c6a41cee4187805769a90a71956ce031efd8a
other/davisb_putnamb_logemannb_loveland.pyhttps://github.com/TheAlgorithms/Python/pull/5647/files/a42c6a41cee4187805769a90a71956ce031efd8a#diff-add5b23a223dcd00d55dd6c8a6291d95b832389c01a9bdaca343e5a3dc43871c
l3str4ngehttps://github.com/l3str4nge
Oct 30, 2021https://github.com/TheAlgorithms/Python/pull/5647#discussion_r739691038
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
other/davisb_putnamb_logemannb_loveland.pyhttps://github.com/TheAlgorithms/Python/pull/5647/files/a42c6a41cee4187805769a90a71956ce031efd8a#diff-add5b23a223dcd00d55dd6c8a6291d95b832389c01a9bdaca343e5a3dc43871c
l3str4ngehttps://github.com/l3str4nge
Oct 30, 2021https://github.com/TheAlgorithms/Python/pull/5647#discussion_r739691091
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
awaiting changes https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3A%22awaiting%20changes%22
awaiting reviews https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3A%22awaiting%20reviews%22
Oct 30, 2021https://github.com/TheAlgorithms/Python/pull/5647#event-5544292883
https://github.com/spazm
spazmhttps://github.com/spazm
Nov 3, 2021 https://github.com/TheAlgorithms/Python/pull/5647#ref-pullrequest-1036352433
mypy: Exclude only 20 files that are still failing #5608 https://github.com/TheAlgorithms/Python/pull/5608
https://github.com/apps/stale
stalehttps://github.com/apps/stale
Apr 25, 2022https://github.com/TheAlgorithms/Python/pull/5647#issuecomment-1108379175
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
https://github.com/apps/stale
stalehttps://github.com/apps/stale
stale https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3Astale
Apr 25, 2022https://github.com/TheAlgorithms/Python/pull/5647#event-6489232992
https://github.com/cclauss
cclausshttps://github.com/cclauss
Sep 30, 2023https://github.com/TheAlgorithms/Python/pull/5647#event-10517738585
https://github.co/hiddenchars
https://github.com/TheAlgorithms/Python/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FTheAlgorithms%2FPython%2Fpull%2F5647
https://github.com/l3str4nge
l3str4nge https://github.com/l3str4nge
https://github.com/TheAlgorithms/Python/pull/5647/files/a42c6a41cee4187805769a90a71956ce031efd8a
awaiting changes https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3A%22awaiting%20changes%22
enhancement https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3Aenhancement
stale https://github.com/TheAlgorithms/Python/issues?q=state%3Aopen%20label%3Astale
Please reload this pagehttps://github.com/TheAlgorithms/Python/pull/5647
https://github.com/spazm
https://github.com/poyea
https://github.com/l3str4nge
https://github.com/cclauss
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.