Skar0 / gamesolver
A python tool for solving reachability/safety, parity, weak parity and generalized parity games
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for gamesolver
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated 3 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Oink, an implementation of modern parity game solvers☆31Updated 3 months ago
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- The main development version of the PRISM model checker.☆157Updated last month
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆23Updated 4 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- ☆16Updated last year
- Python Bindings for the Probabilistic Model Checker Storm☆31Updated this week
- ☆53Updated 5 months ago
- Temporal Logic Extractor☆11Updated 7 years ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- 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
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- The Termination Problem Database☆27Updated 5 months ago
- Links to tools by subject☆372Updated 8 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- ☆22Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- ☆52Updated 3 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- Powerlifted Planner☆27Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- TriCera: a model checker for C programs☆18Updated last week
- The Yices SMT Solver☆374Updated last week
- A Python model checking package☆64Updated 2 months ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 6 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆154Updated 5 months ago