Kodkod solver for relational logic
☆91Jul 4, 2023Updated 3 years ago
Alternatives and similar repositories for kodkod
Users that are interested in kodkod are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- Alloy with browser-based visualizations☆31Jun 16, 2021Updated 5 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- A model checker for relational first-order temporal specifications☆31Jul 6, 2021Updated 5 years ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆882Jun 11, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Feb 18, 2020Updated 6 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆102Jul 22, 2026Updated 3 months ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆52Jan 30, 2023Updated 3 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆709Oct 16, 2026Updated 2 weeks ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 7 years ago
- The EMFText Syntax Zoo contains a collection of more than 100 text syntaxes defined with EMFText's CS language.☆10Sep 16, 2013Updated 13 years ago
- Bounded verification of UML/OCL (or EMF/OCL) models☆17Jun 13, 2018Updated 8 years ago
- Utility that exposes a Protobuffer Message as a Map☆10Oct 23, 2015Updated 11 years ago
- T2 Temporal Prover☆97Feb 12, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10Oct 28, 2020Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- ☆11May 1, 2024Updated 2 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆21May 30, 2013Updated 13 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- Partition refinement☆16Oct 4, 2026Updated last month
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆29Updated this week
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆46Dec 30, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- Datalog with support for SMT queries and first-order functional programming☆181Oct 26, 2026Updated last week
- A helper document about the Alloy specification language☆10Dec 3, 2018Updated 7 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 4 months ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆145Jun 16, 2025Updated last year
- Pretty printer for Scala type errors☆12Jan 1, 2017Updated 9 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated 2 years ago
- A Tool for Multi-Paradigm Modeling☆25May 8, 2026Updated 5 months ago
- Boogie☆606Updated this week
- Experimental 3Lisp interpreter written in Ruby.☆14Dec 17, 2017Updated 8 years ago
- A minimalistic and high-performance SAT solver☆29Oct 7, 2026Updated 3 weeks ago
- A best-first-search theorem prover implemented in Isabelle☆37Jul 18, 2022Updated 4 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago