dpalmasan/py-logic

View on GitHub

Libray for dealing with logic in python

Stars: 5
Forks: 0
Open beginner issues: 0
Indexed issues: 10

Dominant language: Python
License: MIT
Last GitHub push: Jul 1, 2024
Latest indexed: Sep 15, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Open All

10 open issues indexed

Implement Backward Chaining for Propositional Logic Open

good first issue propositional-logic

dpalmasan/py-logic#24 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Implement converter to Conjunctive Normal Form for First Order Logic Open

first-order-logic

dpalmasan/py-logic#25 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Define release process Open

config documentation

dpalmasan/py-logic#29 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Optimize PL Resolution algorithm Open

enhancement

dpalmasan/py-logic#30 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Chore] Remove typecheck bypass decorators and fix types Open

chore ci-cd good first issue

dpalmasan/py-logic#32 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
[Algorithms] Implement WalkSAT algorithm Open

algorithm good first issue

dpalmasan/py-logic#33 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Investigate and propose implementation for Memoization in Inference functions Open

algorithm enhancement

dpalmasan/py-logic#45 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Document API Open

documentation

dpalmasan/py-logic#46 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create interpreter for logic clauses Open

algorithm enhancement

dpalmasan/py-logic#47 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Release pip package and define versioning Open

dpalmasan/py-logic#48 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

dpalmasan/py-logic

Get new issues in your inbox