Alternatives and similar repositories for rainbow

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

• se-sic / SPLConqueror
  SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
  ☆24Updated last year
• cps-sei / swim
  SWIM - A Simulator of Web Infrastructure and Management
  ☆17Updated 4 years ago
• prismmodelchecker / prism-games
  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
  ☆29Updated 6 months ago
• ssanner / rddlsim
  Automatically exported from code.google.com/p/rddlsim
  ☆55Updated last year
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆160Updated last year
• AI-Planning / planutils
  General library for setting up linux-based environments for developing, running, and evaluating planners.
  ☆133Updated 2 weeks ago
• IBM / grammar2pddl
  Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…
  ☆18Updated 3 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆158Updated this week
• ZikangXiong / VRL_CodeReview
  [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
  ☆14Updated 5 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated this week
• DescartesResearch / TeaStore
  A micro-service reference test application for model extraction, cloud management, energy efficiency, power prediction, single- and multi…
  ☆146Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• whitemech / flloat
  From LTLf/LDLf To Automata
  ☆22Updated 5 years ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆16Updated 5 years ago
• KCL-Planning / VAL
  The plan validation system.
  ☆149Updated 4 years ago
• decyphir / breach
  ☆62Updated last year
• fraleo / OMTPlan
  A python framework for Optimal Planning Modulo Theories
  ☆12Updated last year
• abcorrea / powerlifted
  Powerlifted Planner
  ☆32Updated last month
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆180Updated this week
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 3 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆221Updated this week
• jan-dolejsi / vscode-pddl
  Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio…
  ☆103Updated last year
• aibasel / downward-benchmarks
  ☆43Updated last year
• Pold87 / myPDDL
  PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text
  ☆37Updated 7 years ago
• Maumagnaguagno / Planning_LaTeX
  Latex listing for planning formalisms
  ☆15Updated 3 years ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆123Updated last week
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆49Updated last month
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆102Updated 2 years ago
• cpslab-asu / psy-taliro
  Search-based test generation toolbox written in Python
  ☆15Updated 2 months ago