-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: dpalmasan/py-logic
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Create interpreter for logic clauses
algorithm
enhancement
New feature or request
#47
opened Jan 12, 2023 by
dpalmasan
Document API
documentation
Improvements or additions to documentation
#46
opened Jan 7, 2023 by
dpalmasan
Investigate and propose implementation for Memoization in Inference functions
algorithm
enhancement
New feature or request
#45
opened Jan 7, 2023 by
dpalmasan
[Algorithms] Implement WalkSAT algorithm
algorithm
good first issue
Good for newcomers
#33
opened Dec 31, 2022 by
dpalmasan
[Chore] Remove typecheck bypass decorators and fix types
chore
ci-cd
good first issue
Good for newcomers
#32
opened Dec 30, 2022 by
dpalmasan
Optimize PL Resolution algorithm
enhancement
New feature or request
#30
opened Dec 28, 2022 by
dpalmasan
Define release process
config
documentation
Improvements or additions to documentation
#29
opened Aug 3, 2022 by
dpalmasan
Implement converter to Conjunctive Normal Form for First Order Logic
first-order-logic
#25
opened Jul 22, 2022 by
dpalmasan
Implement Backward Chaining for Propositional Logic
good first issue
Good for newcomers
propositional-logic
#24
opened Jul 19, 2022 by
dpalmasan
ProTip!
no:milestone will show everything without a milestone.