Alternatives and similar repositories for z3overlay

Users that are interested in z3overlay are comparing it to the libraries listed below

• termite-analyser / llvm2smt

  View on GitHub
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Apr 20, 2018Updated 7 years ago
• Emmanuel-PLF / facile

  View on GitHub
  FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
  ☆14Feb 27, 2024Updated last year
• smondet / trakeva

  View on GitHub
  Transactions, Keys, and Values
  ☆22Nov 3, 2017Updated 8 years ago
• UnixJunkie / daft

  View on GitHub
  DAFT Allows File Transfers
  ☆23Jan 11, 2023Updated 3 years ago
• mmottl / res

  View on GitHub
  OCaml library for resizable arrays and strings
  ☆26Nov 28, 2025Updated 2 months ago
• Gbury / mSAT

  View on GitHub
  A modular sat/smt solver with proof output.
  ☆102Jan 8, 2024Updated 2 years ago
• amnh / ocamion

  View on GitHub
  Numerical and Combinatorial Optimization Library
  ☆19Dec 14, 2013Updated 12 years ago
• besport / aws

  View on GitHub
  OCaml client access to Amazon services, such as S3, EC2, FPS, etc.
  ☆14Sep 20, 2016Updated 9 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated last week
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• janestreet / ppx_here

  View on GitHub
  Expands [%here] into its location
  ☆14Jan 15, 2026Updated 3 weeks ago
• gdeest / ocaml-isl

  View on GitHub
  OCaml bindings for the Integer Set Library.
  ☆13Jun 12, 2014Updated 11 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• friguzzi / bddem

  View on GitHub
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆12Aug 30, 2025Updated 5 months ago
• witan-org / witan

  View on GitHub
  An ocaml implementation of conflict-driven reasoning
  ☆14Jul 13, 2018Updated 7 years ago
• cs6213 / tlaplus-examples

  View on GitHub
  Basic TLA+ Examples
  ☆15Feb 15, 2021Updated 4 years ago
• arlencox / QUICr

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• zshipko / ocaml-vec

  View on GitHub
  Example OCaml library written using Rust and ocaml-rs
  ☆16Mar 10, 2021Updated 4 years ago
• agarwal / ppx_basic_demo

  View on GitHub
  Basic demo of OCaml's PPX feature.
  ☆10Mar 22, 2015Updated 10 years ago
• janestreet / tracing

  View on GitHub
  Tracing library
  ☆36Jan 15, 2026Updated 3 weeks ago
• nojb / ocaml-gccjit

  View on GitHub
  OCaml bindings for libgccjit
  ☆28Feb 13, 2017Updated 9 years ago
• ktahar / ocaml-lp

  View on GitHub
  LP and MIP modeling in OCaml
  ☆29Jun 24, 2025Updated 7 months ago
• vincenzoml / topochecker

  View on GitHub
  Topochecker, a topological model checker
  ☆19Nov 19, 2019Updated 6 years ago
• aantron / faster-map

  View on GitHub
  A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.
  ☆13Sep 23, 2021Updated 4 years ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• solvuu / solvuu-build

  View on GitHub
  DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).
  ☆23Jun 2, 2017Updated 8 years ago
• thery / PolTac

  View on GitHub
  Tactic for polynomial manipulations
  ☆12Jan 29, 2026Updated 2 weeks ago
• janestreet-deprecated / ppx_type_conv

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆13Mar 29, 2018Updated 7 years ago
• pveber / scirep

  View on GitHub
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆16Aug 28, 2022Updated 3 years ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• ahrefs / rust-ocaml-derive

  View on GitHub
  ☆63Feb 12, 2021Updated 5 years ago
• calebh / dihash

  View on GitHub
  Python implementation of directed graph hashing, from the paper "Directed Graph Hashing"
  ☆16Dec 29, 2025Updated last month
• LLM4Rocq / nlir

  View on GitHub
  Automatic theorem proving via natural language reasoning with LLMs
  ☆21May 16, 2025Updated 8 months ago
• janestreet / ppx_hash

  View on GitHub
  A ppx rewriter that generates hash functions from type expressions and definitions
  ☆17Jan 15, 2026Updated 3 weeks ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• raph-amiard / CamllVM

  View on GitHub
  An OCaml bytecode to LLVM compiler
  ☆43Mar 2, 2018Updated 7 years ago
• travisbrady / flajolet

  View on GitHub
  Probabilistic data structures for OCaml
  ☆39Jan 26, 2018Updated 8 years ago
• cedlemo / ctypes-stubs-generation-notes

  View on GitHub
  OCaml Ctypes stubs generation notes
  ☆20May 1, 2019Updated 6 years ago
• copy / lowcaml

  View on GitHub
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆19Jan 25, 2024Updated 2 years ago