akrasuski1/eusolver-priority external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

akrasuski1/eusolver-priority

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/akrasuski1/eusolver-priority)

Close

akrasuski1 / eusolver-priorityView on GitHubMore

• External links
• Readme badge

Grammar prioritization support for EUSolver.

☆14Jul 18, 2019Updated 6 years ago

Alternatives and similar repositories for eusolver-priority

Users that are interested in eusolver-priority are comparing it to the libraries listed below

• rishabhs / sygus-comp14

  View on GitHub
  ☆40Apr 17, 2019Updated 6 years ago
• SyGuS-Org / benchmarks

  View on GitHub
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆43Mar 30, 2023Updated 2 years ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 4 years ago
• wslee / euphony

  View on GitHub
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Nov 21, 2022Updated 3 years ago
• purdue-cap / DryadSynth

  View on GitHub
  A SyGuS Solver
  ☆30May 18, 2025Updated 10 months ago
• runtimeverification / mpfr-java

  View on GitHub
  GNU MPFR Java Bindings
  ☆11Nov 2, 2021Updated 4 years ago
• wslee / duet

  View on GitHub
  ☆21Apr 11, 2025Updated 11 months ago
• bkushigian / cornelius

  View on GitHub
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Jun 14, 2023Updated 2 years ago
• squaresLab / footpatch

  View on GitHub
  ☆15Sep 20, 2019Updated 6 years ago
• arnabd88 / Satire

  View on GitHub
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Jul 23, 2025Updated 7 months ago
• awf / Coconut

  View on GitHub
  Shaking expression trees until something tasty pops out
  ☆17Oct 30, 2018Updated 7 years ago
• breandan / markovian

  View on GitHub
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Apr 8, 2022Updated 3 years ago
• petablox / popl2020-artifact

  View on GitHub
  Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
  ☆19Jul 9, 2020Updated 5 years ago
• namin / holey

  View on GitHub
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆38Mar 5, 2026Updated 2 weeks ago
• probing-lab / polar

  View on GitHub
  ☆18Apr 21, 2025Updated 11 months ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• nicolasprevot / GpuShareSat

  View on GitHub
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Jun 8, 2021Updated 4 years ago
• daajoe / GPUSAT

  View on GitHub
  ☆12Sep 29, 2021Updated 4 years ago
• hkrsnd / dilp-st

  View on GitHub
  ☆10May 24, 2021Updated 4 years ago
• algo-reasoning / algo-reasoning.github.io

  View on GitHub
  Neural Algorithmic Reasoning Tutorial
  ☆12Dec 21, 2022Updated 3 years ago
• reudismam / Refazer

  View on GitHub
  ☆10Feb 9, 2019Updated 7 years ago
• soarlab / FPTuner

  View on GitHub
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆17May 21, 2020Updated 5 years ago
• SyGuS-Org / tools

  View on GitHub
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Sep 7, 2023Updated 2 years ago
• philzook58 / eggmt

  View on GitHub
  Egraphs Modulo Theories
  ☆18Jun 10, 2025Updated 9 months ago
• lilleswing / jt-vae

  View on GitHub
  Junction Tree Variational AutoEncoder Implementation Attempt
  ☆11Jun 21, 2018Updated 7 years ago
• TyGuS / suslik

  View on GitHub
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Apr 18, 2023Updated 2 years ago
• rshariffdeen / FixMorph

  View on GitHub
  FixMorph is a morphing tool for C source codes which supports automated code-transfer
  ☆35Apr 9, 2025Updated 11 months ago
• uwplse / szalinski

  View on GitHub
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆55Sep 1, 2025Updated 6 months ago
• ali-ghanbari / prapr-sc

  View on GitHub
  Official repository for PraPR source code
  ☆14May 11, 2021Updated 4 years ago
• PL-ML / metal

  View on GitHub
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Feb 18, 2019Updated 7 years ago
• predict-idlab / MINDWALC

  View on GitHub
  Code & experiments for MINDWALC: Mining Interpretable, Discriminative Walks for Classification of Nodes in a Graph
  ☆13Jul 4, 2024Updated last year
• tjknoth / resyn

  View on GitHub
  ☆21Jan 8, 2021Updated 5 years ago
• mmcloughlin / hellollvm

  View on GitHub
  Basic LLVM passes
  ☆17Oct 7, 2018Updated 7 years ago
• wn / gitignore

  View on GitHub
  Brew package to quickly init a gitignore
  ☆12Apr 20, 2022Updated 3 years ago
• marcelwa / CEGIS

  View on GitHub
  Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
  ☆60Jan 8, 2017Updated 9 years ago
• trishullab / cflobdd

  View on GitHub
  ☆14Updated this week
• silky / myth

  View on GitHub
  Type-and-example-driven program synthesis for functional programming languages
  ☆27Jun 30, 2019Updated 6 years ago
• TruX-DTF / fixminer_source

  View on GitHub
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆31Dec 14, 2022Updated 3 years ago