ANTLR SMT-LIB v2 Grammar
☆24Dec 23, 2021Updated 4 years ago
Alternatives and similar repositories for smtlibv2-grammar
Users that are interested in smtlibv2-grammar are comparing it to the libraries listed below
Sorting:
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Oct 6, 2025Updated 5 months ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Oct 23, 2022Updated 3 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- Libraries and tools for the SMT-LIB-2 standard.☆24Dec 13, 2021Updated 4 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆57Jun 30, 2025Updated 8 months ago
- ☆29Feb 11, 2026Updated 3 weeks ago
- TriCera: a model checker for C programs☆26Feb 28, 2026Updated last week
- btrfs-borg makes snapshots and backs up a btrfs snapshotted subvolumes and LXC containers using Borg☆24May 15, 2018Updated 7 years ago
- ☆33Sep 29, 2025Updated 5 months ago
- An automatic theorem prover for first order logic with equality☆33Updated this week
- SMTInterpol interpolating SMT solver☆71Updated this week
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- Automated Reasoning in Nonlinear Theories of Reals☆180Feb 21, 2026Updated 2 weeks ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- Configuration data for the Ethereum Mainnet☆13Dec 19, 2025Updated 2 months ago
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- An improved version of `w`☆14Mar 16, 2017Updated 8 years ago
- A library of ftp client on Linux☆10Aug 7, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ODBII generic scan tool strings (EBD) with ELM327☆11Dec 4, 2018Updated 7 years ago
- ☆16Feb 9, 2026Updated last month
- K-means Algorithm in Ruby☆10Mar 14, 2015Updated 10 years ago
- ☆10Sep 6, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- The behavioural indexer for Ethereum.☆13Jun 13, 2024Updated last year
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated 8 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- The last-write-wins register CRDT☆17Nov 10, 2024Updated last year
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Correct, optimized blending of color and alpha channels☆10Jan 30, 2016Updated 10 years ago