Alternatives and similar repositories for pylogics

Users that are interested in pylogics are comparing it to the libraries listed below

• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆65Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated 3 months ago
• whitemech / LTLf2DFA
  From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
  ☆71Updated last year
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 4 years ago
• RobertSasak / Prolog-Planning-Library
  Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…
  ☆19Updated 3 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 6 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆17Updated this week
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 6 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• JuliaPlanners / PDDL.jl
  Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
  ☆84Updated 8 months ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆15Updated 4 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆24Updated last month
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 3 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 2 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆16Updated 10 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆223Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆11Updated last year
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆34Updated this week
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆208Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆78Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago