Universal-Variability-Language / uvl-parser
☆10Updated 4 months ago
Alternatives and similar repositories for uvl-parser:
Users that are interested in uvl-parser are comparing it to the libraries listed below
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Updated 3 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 3 months ago
- TurnKey artifact for Z3☆36Updated this week
- d4 Model Counter☆15Updated last year
- The Next Generation Logic Library☆136Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 6 months ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 5 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- language independent software composition and merging☆31Updated 7 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆59Updated 2 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last month
- Tool Support for Correctness-by-Construction☆27Updated this week
- Repository of teaching material for product lines and variability☆12Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A fast and simple automata library☆24Updated last month
- Top-down interpreter for ASP programs with Constraints☆25Updated 2 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- A toolbox for knowledge compilation☆21Updated 2 months ago
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆27Updated last week
- Python Bindings for the Probabilistic Model Checker Storm☆32Updated this week
- Approximate Model Counter☆70Updated 6 months ago
- Oink, an implementation of modern parity game solvers☆32Updated 2 weeks ago
- A library of formal models in the jani-model format.☆10Updated 2 years ago
- Bottom-Up Technologies for Reuse☆18Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated 3 months ago
- 🍀 A system for probabilistic reasoning in clingo☆15Updated 6 months ago
- The main development version of the PRISM model checker.☆163Updated this week