whitemech / pylogicsLinks
A Python library for logic formalisms representation and manipulation.
☆16Updated last year
Alternatives and similar repositories for pylogics
Users that are interested in pylogics are comparing it to the libraries listed below
Sorting:
- Tarski - An AI Planning Modeling Framework☆70Updated last year
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆49Updated last week
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆291Updated this week
- Access to all MiniZinc functionality directly from Python☆177Updated last week
- An inductive logic programming system☆237Updated last month
- Python library for working with Metric Temporal Logic (MTL)☆100Updated 2 years ago
- ☆37Updated 10 months ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- A Python package for automata theory.☆57Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆220Updated last month
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Python bindings for the egglog rust library☆89Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 3 weeks ago
- Powerlifted Planner☆32Updated last month
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Neurosymbolic Library☆26Updated last month
- a collection of Gymnasium environments for saturation provers☆23Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated 2 months ago
- Relational Features for PDDL Planning☆13Updated this week
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆73Updated last year
- ☆44Updated 11 months ago
- Convex optimization modeling in Lean 4☆54Updated last year
- Lab is a framework for evaluating planners and other solvers.☆34Updated this week
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 5 months ago