uwplse / synapseLinks
Optimizing Synthesis with Metasketches, POPL 2016
☆23Updated 8 years ago
Alternatives and similar repositories for synapse
Users that are interested in synapse are comparing it to the libraries listed below
Sorting:
- ☆82Updated 9 months ago
- ☆88Updated 3 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- Symbolic formula representation and solver interaction library☆166Updated last week
- Unison's source code☆108Updated last year
- Datalog with support for SMT queries and first-order functional programming☆160Updated last week
- Conjure: The Automated Constraint Modelling Tool☆105Updated this week
- Kodkod solver for relational logic☆77Updated 2 years ago
- microsat☆136Updated 3 years ago
- Cogent Project☆166Updated 4 months ago
- The LTSmin model checking toolset☆60Updated 9 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Lem semantic definition language☆144Updated 4 months ago
- ☆147Updated last week
- ☆89Updated 3 years ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated last month
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- The collection synthesizer☆211Updated 4 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last month
- VATA Tree Automata Library☆32Updated 11 months ago
- LVC verified compiler☆57Updated 6 years ago