AlloyTools / alloytools.github.ioLinks
Website for Alloytools
☆13Updated 3 months ago
Alternatives and similar repositories for alloytools.github.io
Users that are interested in alloytools.github.io are comparing it to the libraries listed below
Sorting:
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- Constraint Logic Programming over Integers☆210Updated 2 years ago
- Language bindings for Maude☆24Updated 3 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Python interpreter for TLA+ specifications☆116Updated last year
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- Learn TLA+ for free! No prior experience necessary!☆236Updated last month
- Automatically exported from code.google.com/p/full-maude☆16Updated 4 months ago
- The main development version of the PRISM model checker.☆181Updated this week
- TLA+ Foundation☆32Updated 2 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Source of metamath book☆55Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REP…☆22Updated this week
- CHR2 to SQL conversion☆15Updated 10 years ago
- a language for building system dynamic models☆169Updated this week
- The MiniZinc IDE☆166Updated last week
- formal tools for BPMN☆36Updated 7 months ago
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆110Updated this week
- SAT solver for education☆26Updated 3 years ago
- A webapp for developing and sharing Alloy models☆26Updated last year
- Repository of benchmarks for SYNTCOMP☆14Updated 4 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆135Updated last week
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated this week