Search results

Release pip package and define versioning

Status: Open.

#48 In dpalmasan/py-logic;

· dpalmasan opened on Feb 11, 2023

Create interpreter for logic clauses

algorithm

enhancementNew feature or requestNew feature or request

Status: Open.

#47 In dpalmasan/py-logic;

· dpalmasan opened on Jan 12, 2023

Document API

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#46 In dpalmasan/py-logic;

· dpalmasan opened on Jan 7, 2023

Investigate and propose implementation for Memoization in Inference functions

algorithm

enhancementNew feature or requestNew feature or request

Status: Open.

#45 In dpalmasan/py-logic;

· dpalmasan opened on Jan 7, 2023

[Algorithms] Implement WalkSAT algorithm

algorithm

good first issueGood for newcomersGood for newcomers

Status: Open.

#33 In dpalmasan/py-logic;

· dpalmasan opened on Dec 31, 2022

[Chore] Remove typecheck bypass decorators and fix types

chore

ci-cd

good first issueGood for newcomersGood for newcomers

Status: Open.

#32 In dpalmasan/py-logic;

· dpalmasan opened on Dec 30, 2022

Optimize PL Resolution algorithm

enhancementNew feature or requestNew feature or request

Status: Open.

#30 In dpalmasan/py-logic;

· dpalmasan opened on Dec 28, 2022

Define release process

config

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#29 In dpalmasan/py-logic;

· dpalmasan opened on Aug 3, 2022

Implement converter to Conjunctive Normal Form for First Order Logic

first-order-logic

Status: Open.

#25 In dpalmasan/py-logic;

· dpalmasan opened on Jul 22, 2022

Implement Backward Chaining for Propositional Logic

good first issueGood for newcomersGood for newcomers

propositional-logic

Status: Open.

#24 In dpalmasan/py-logic;

· dpalmasan opened on Jul 19, 2022