JuliaSymbolics / SymbolicSMT.jlView external linksLinks
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
☆36Dec 27, 2025Updated last month
Alternatives and similar repositories for SymbolicSMT.jl
Users that are interested in SymbolicSMT.jl are comparing it to the libraries listed below
Sorting:
- ☆16Jun 18, 2021Updated 4 years ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- A package for expressing and automatically proving logical statements symbolically in Julia☆19Nov 2, 2023Updated 2 years ago
- Base API optimized for tuples☆19Sep 9, 2020Updated 5 years ago
- ☆30Jun 23, 2023Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆51Jan 12, 2026Updated last month
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- ☆32May 29, 2020Updated 5 years ago
- Pass loop info to LLVM☆21Sep 4, 2023Updated 2 years ago
- Experimental Distributed Arrays package☆14Mar 14, 2023Updated 2 years ago
- A tool for exploring and visualizing Julia code☆25May 18, 2022Updated 3 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Mar 7, 2021Updated 4 years ago
- Julia bindings for tree-sitter.☆34Jan 27, 2026Updated 2 weeks ago
- Visually clarified stack traces for Julia☆72Jun 2, 2020Updated 5 years ago
- Simplified resource cleanup for julia.☆27Nov 23, 2020Updated 5 years ago
- Fixed-bit collections in Julia☆15Sep 25, 2021Updated 4 years ago
- POSIX Threads support in Julia.☆17Nov 16, 2022Updated 3 years ago
- Fixed-width integers similar to builtin ones☆56Jan 7, 2026Updated last month
- Array types that can use sentinel values of the element type for special values☆23Dec 20, 2025Updated last month
- An efficient symbolic term rewriting engine☆78Dec 23, 2020Updated 5 years ago
- Like a kick in the monads☆42Jun 15, 2022Updated 3 years ago
- Arithmetic with small and with very large rationals is made fast.☆23Feb 9, 2026Updated last week
- Light-weight expression manipulation tools☆82Updated this week
- ☆11Mar 26, 2023Updated 2 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 5 years ago
- A Julia IO type that facilitates width-limited printing☆12Mar 21, 2023Updated 2 years ago
- optimal addition-chain exponentiation for Julia☆48Dec 15, 2025Updated 2 months ago
- A convenient interface for using Tracy from within Julia code☆34Sep 5, 2025Updated 5 months ago
- Static module-like namespaces for julia☆18Nov 7, 2021Updated 4 years ago
- Manual memory management utilities.☆34Nov 18, 2024Updated last year
- An experimental simple method overlay mechanism for Julia☆34Dec 1, 2025Updated 2 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Oct 8, 2024Updated last year
- Julia implementation for the BFloat16 number type☆58Jan 19, 2026Updated 3 weeks ago
- ☆35Aug 4, 2022Updated 3 years ago
- Interface to DASKR, a differential algebraic system solver for the SciML scientific machine learning ecosystem☆11Jan 8, 2026Updated last month
- Optional argument checks allow you to omit them when performance is critical.☆10Aug 31, 2022Updated 3 years ago
- Functions to transform text into unicode symbols, e.g. latex --> unicode☆33Aug 22, 2025Updated 5 months ago
- Julia implementations of symbolic integration algorithms☆37Sep 8, 2025Updated 5 months ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago