julianthome / smtlibv2-grammarView external linksLinks
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
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- ☆12Jan 8, 2016Updated 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 4 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
- 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.☆56Jun 30, 2025Updated 7 months 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…☆27Nov 14, 2025Updated 3 months ago
- ☆29May 30, 2025Updated 8 months ago
- An automatic theorem prover for first order logic with equality☆32Jul 14, 2020Updated 5 years ago
- SMTInterpol interpolating SMT solver☆70Updated this week
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- prediction market indexer with semantic search☆35Jan 27, 2026Updated 2 weeks ago
- The F´ MathComponent Tutorial☆17Dec 4, 2025Updated 2 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆179Jan 31, 2026Updated 2 weeks ago
- A reference card for GNU APL☆11Feb 19, 2025Updated 11 months ago
- K-means Algorithm in Ruby☆10Mar 14, 2015Updated 10 years ago
- Configuration data for the Ethereum Mainnet☆13Dec 19, 2025Updated last month
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated 7 months ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 2 months ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 2 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- ☆16Mar 29, 2024Updated last year
- Allocation-free move-only alternative to std::function for C++17☆12Feb 6, 2021Updated 5 years ago
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 7 months ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆10Sep 6, 2023Updated 2 years ago
- The last-write-wins register CRDT☆16Nov 10, 2024Updated last year
- Collection of recipes adapted from books, shows, the Internet, and more☆12Jan 25, 2026Updated 3 weeks ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- The behavioural indexer for Ethereum.☆13Jun 13, 2024Updated last year
- An improved version of `w`☆14Mar 16, 2017Updated 8 years ago