Universal-Variability-Language / uvl-parser

Related projects ⓘ

Alternatives and complementary repositories for uvl-parser

• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆34Updated this week
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated last year
• KIT-TVA / CorC
  Tool Support for Correctness-by-Construction
  ☆27Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆135Updated 2 months ago
• markusvoelter / mpsintrocourse
  ☆43Updated 9 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆63Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 2 weeks ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated last year
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆68Updated 7 months ago
• joliebig / featurehouse
  language independent software composition and merging
  ☆31Updated 7 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆34Updated 3 months ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆25Updated 6 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆186Updated this week
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆22Updated 4 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆31Updated 3 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆60Updated 4 months ago
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆29Updated this week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆48Updated last week
• siemens / JMiniZinc
  JMiniZinc
  ☆15Updated 4 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆28Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆107Updated 2 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆27Updated 4 months ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆14Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week