facebookarchive/smt2utils 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

facebookarchive/smt2utils

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/facebookarchive/smt2utils)

Close

facebookarchive / smt2utilsView on GitHubMore

• External links
• Readme badge

Libraries and tools for the SMT-LIB-2 standard.

☆24Dec 13, 2021Updated 4 years ago

Alternatives and similar repositories for smt2utils

Users that are interested in smt2utils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• zefchain / bcs

  View on GitHub
  Rust implementation of the Binary Canonical Serialization (BCS) format
  ☆33Mar 26, 2024Updated last year
• lqd / datapond

  View on GitHub
  A set of tools for working with datafrog
  ☆28Sep 1, 2025Updated 6 months ago
• Columpio / RInGen

  View on GitHub
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆13Aug 8, 2022Updated 3 years ago
• rust-formal-methods / wg

  View on GitHub
  ☆22Feb 10, 2022Updated 4 years ago
• ConsenSysDiligence / sol-dbg

  View on GitHub
  Solidity source debugger built around EthereumJS
  ☆25Mar 11, 2026Updated last week
• Beneficial-AI-Foundation / dafny-autopilot

  View on GitHub
  ☆14Jun 11, 2025Updated 9 months ago
• CVC4 / CVC4-archived

  View on GitHub
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆22May 6, 2021Updated 4 years ago
• Z3Prover / z3test

  View on GitHub
  Test and benchmark repository for Z3.
  ☆27Updated this week
• pddenhar / Z3-IC3-PDR

  View on GitHub
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Apr 30, 2016Updated 9 years ago
• viperproject / carbon

  View on GitHub
  Verification-condition-generation-based verifier for the Viper intermediate verification language.
  ☆37Mar 1, 2026Updated 3 weeks ago
• vlab-cs-ucsb / ABC

  View on GitHub
  ☆29Feb 11, 2026Updated last month
• dhpiggott / scala-json-rpc

  View on GitHub
  Types and play-json Format instances for JSON-RPC 2.0 messages, with application command, response and notification marshalling support.
  ☆17Mar 3, 2018Updated 8 years ago
• krcz / zygote

  View on GitHub
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Feb 9, 2022Updated 4 years ago
• jonathanvdc / Pixie

  View on GitHub
  Pixie is a C# library for beautiful and portable console output formatting/typesetting.
  ☆22Jul 2, 2019Updated 6 years ago
• dorsal-lab / opentelemetry-c

  View on GitHub
  ☆14Nov 1, 2023Updated 2 years ago
• viperproject / silicon

  View on GitHub
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆131Updated this week
• julianthome / smtlibv2-grammar

  View on GitHub
  ANTLR SMT-LIB v2 Grammar
  ☆24Dec 23, 2021Updated 4 years ago
• nez-peg / nez

  View on GitHub
  Nez parsing library
  ☆25May 29, 2022Updated 3 years ago
• alloy-rs / nybbles

  View on GitHub
  Efficient nibble-sized (4-bit) byte sequence data structure
  ☆38Feb 11, 2026Updated last month
• sky-ecosystem / mkr-mcd-spec

  View on GitHub
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Oct 25, 2022Updated 3 years ago
• uuverifiers / tricera

  View on GitHub
  TriCera: a model checker for C programs
  ☆26Feb 28, 2026Updated 3 weeks ago
• pontem-network / eth2move-samples

  View on GitHub
  ☆31Nov 17, 2022Updated 3 years ago
• uuverifiers / ostrich

  View on GitHub
  An SMT Solver for string constraints
  ☆49Feb 10, 2026Updated last month
• shelbyd / cooptex

  View on GitHub
  Deadlock free Mutexes.
  ☆15Jul 23, 2023Updated 2 years ago
• meerkat-parser / Meerkat

  View on GitHub
  Meerkat parsers
  ☆26Jul 20, 2017Updated 8 years ago
• antifuchs / nonzero_ext

  View on GitHub
  Rust traits for nonzero generic integers
  ☆17May 24, 2022Updated 3 years ago
• chain-ml / council-writing-assistant

  View on GitHub
  A demo and tutorial for Council that implements a research writing assistant.
  ☆10Nov 10, 2023Updated 2 years ago
• refcell / gprobe

  View on GitHub
  A verbose CLI to probe go-ethereum data structures, built in rust.
  ☆14Mar 3, 2023Updated 3 years ago
• ithacaxyz / op-rs

  View on GitHub
  ☆68Nov 24, 2025Updated 3 months ago
• RiftLend / contracts-v1

  View on GitHub
  ☆12Apr 8, 2025Updated 11 months ago
• wvwwvwwv / scalable-delayed-dealloc

  View on GitHub
  Scalable and lock-free memory reclamation system
  ☆37Dec 19, 2025Updated 3 months ago
• Manta-Network / docs

  View on GitHub
  Developer and User Documentation
  ☆12Feb 6, 2026Updated last month
• rooch-network / smt

  View on GitHub
  Sparse Merkle Tree
  ☆14May 6, 2023Updated 2 years ago
• axiom-crypto / axiom-sdk-client

  View on GitHub
  Monorepo for collection of Axiom V2 Typescript SDKs.
  ☆14Oct 21, 2024Updated last year
• fprime-community / fprime-tutorial-math-component

  View on GitHub
  The F´ MathComponent Tutorial
  ☆17Feb 18, 2026Updated last month
• fleekxyz / astro-template

  View on GitHub
  Template for building sites in Astro and deploy them using Fleek
  ☆14Jul 20, 2024Updated last year
• Luminarys / Eientei

  View on GitHub
  File hosting service
  ☆13May 28, 2017Updated 8 years ago
• VojislavM / UART_TLV

  View on GitHub
  TLV protocol on STM32 via UART
  ☆12Jul 25, 2016Updated 9 years ago
• ethDreamer / json_rpc_snoop

  View on GitHub
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆30Aug 23, 2023Updated 2 years ago