Alternatives and similar repositories for SDMLib

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

• fujaba / fulib
  Fulib is a library that provides code generation for UML like models and some model management functionalities.
  ☆13Updated last month
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 7 months ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 9 months ago
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 3 years ago
• bonetblai / qnp2fond
  Qualitative Numeric Planning
  ☆10Updated 4 years ago
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 4 years ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• MarginallyClever / Donatello
  Editor for Flow Based Programming
  ☆10Updated last week
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 3 years ago
• gcmartinelli / TodoApp
  To-Do app - A Kotlin introduction and dev diary
  ☆12Updated 5 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• kkrawiec / swim
  Synthesis with Metaheuristics - Genetic Programming in Scala
  ☆15Updated 5 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated 3 months ago
• panda-planner-dev / pandaPIengine
  ☆17Updated last year
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 7 years ago
• dpattiso / javaff
  Branch of JavaFF planner for PDDL2.1
  ☆15Updated 6 years ago
• entangledloops / slidingpuzzle
  Sliding Puzzle solver and utilities
  ☆10Updated last year
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• JedS6391 / LGP
  A robust Linear Genetic Programming implementation on the JVM using Kotlin.
  ☆18Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• galvusdamor / panda3core
  ☆15Updated 4 years ago
• stolba / MADLAPlanner
  Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…
  ☆12Updated 7 years ago
• declanoller / neat
  Playing OpenAI games with Neuroevolution
  ☆11Updated 5 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆17Updated last year
• QuMuLab / planner-for-relevant-policies
  ☆31Updated last year
• domschrei / lilotane
  Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
  ☆31Updated last year
• sanathkumarbs / longest-processing-time-algorithm-lpt
  A simple, often-used multiprocessor scheduling (load balancing) algorithm is the LPT algorithm (Longest Processing Time) which sorts the …
  ☆12Updated 6 years ago
• JohnEarnest / VectorLand
  A tiny thin client for multiplayer games
  ☆18Updated 11 years ago
• mypalmike / skastic
  Visual programming language: SKetches of Abstract Syntax Trees. I. C.
  ☆10Updated 3 years ago