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☆68Updated last year
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆48Updated last week
- ☆37Updated 9 months ago
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆282Updated this week
- A Python package for automata theory.☆56Updated last year
- Python Bindings for the Probabilistic Model Checker Storm☆36Updated this week
- Access to all MiniZinc functionality directly from Python☆164Updated last week
- Straightforward unification in Python that's extensible via generic functions.☆49Updated this week
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- An inductive logic programming system☆236Updated 2 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- ☆44Updated 10 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 5 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 9 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆363Updated this week
- Experimentation framework for Popper☆23Updated last month
- A benchmark library for constraints☆96Updated 3 weeks ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- A Python Library for modeling combinatorial constrained problems☆72Updated 2 months ago
- A collection of problem specifications in Essence.☆10Updated 3 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆24Updated 3 years ago
- Convex optimization modeling in Lean 4☆54Updated last year
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆85Updated 11 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last month
- Relational Features for PDDL Planning☆13Updated last week
- Python bindings for the egg-smol rust library☆86Updated last week