ahumenberger / Z3.jlView external linksLinks
Julia interface to Z3
☆71Nov 22, 2025Updated 2 months ago
Alternatives and similar repositories for Z3.jl
Users that are interested in Z3.jl are comparing it to the libraries listed below
Sorting:
- Like a kick in the monads☆42Jun 15, 2022Updated 3 years ago
- High precision replacements for Float64☆13Aug 12, 2018Updated 7 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Jan 27, 2026Updated 2 weeks ago
- Draw Julia syntax trees as a graph☆87Feb 16, 2024Updated 2 years ago
- Using runtime-free macro packages as dev-only dependencies.☆22Jan 6, 2023Updated 3 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Dec 27, 2025Updated last month
- A modern tool for data exploration☆16Feb 8, 2020Updated 6 years ago
- ☆16Feb 8, 2020Updated 6 years ago
- Pattern matching☆55Jul 7, 2022Updated 3 years ago
- Fixed-bit collections in Julia☆15Sep 25, 2021Updated 4 years ago
- Scalable symbolic-numeric set computations in Julia☆254Updated this week
- trying to improve the julia banner☆20Nov 1, 2021Updated 4 years ago
- Fast and backward stable computation of roots of polynomials in Julia☆17Jan 2, 2026Updated last month
- Float128 and libquadmath for the Julia language☆44Jan 23, 2026Updated 3 weeks ago
- Compile away dynamic dispatch on Val-typed arguments via value-splitting.☆59Oct 12, 2023Updated 2 years ago
- I accidentally built an HTML templating engine in Julia☆11Apr 6, 2022Updated 3 years ago
- Exact real arithmetic using Dedekind cuts☆11Feb 1, 2026Updated 2 weeks ago
- Interface for approximate and exact equality☆12Oct 5, 2024Updated last year
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆13Jan 5, 2026Updated last month
- Fast, flexible zlib bindings.☆27Dec 11, 2019Updated 6 years ago
- Provides a simple macro to make readable anonymous functions in Julia☆31Jan 9, 2021Updated 5 years ago
- Finite multisets in Julia☆19Nov 24, 2025Updated 2 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Oct 8, 2024Updated last year
- Filesystem path types in julia☆87Mar 6, 2025Updated 11 months ago
- Flatten Julia types to tuples or vectors, and un-flatten them later☆11Feb 8, 2020Updated 6 years ago
- flexible VersionNumber parsing in Julia☆14May 16, 2023Updated 2 years ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆393Dec 29, 2025Updated last month
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago
- ConstraintSolver in Julia: Blog posts ->☆142Apr 30, 2022Updated 3 years ago
- Various finite representations of large or infinite sets and associated primitive functions☆13Nov 23, 2018Updated 7 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Abstract syntax tree representation of Markdown documents in Julia☆16Jul 27, 2025Updated 6 months ago
- A Julia package for Prolog-style logic programming.☆178Feb 5, 2023Updated 3 years ago
- It's editing-time, do you know where your methods are?☆151Feb 6, 2026Updated last week
- MacroTools provides a library of tools for working with Julia code and expressions.☆322Dec 29, 2025Updated last month
- A static method overlay and optimization tool with configurable code generation and execution.☆53May 3, 2022Updated 3 years ago
- Some useful lenses☆35Jan 29, 2026Updated 2 weeks ago
- Julia bindings to the SAT solver picosat☆32Dec 30, 2023Updated 2 years ago
- Advanced optics/lenses and tools for immutable data structure manipulation, extending Accessors.jl.☆16Feb 2, 2026Updated last week