JuliaSymbolics / SymbolicSMT.jlLinks
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
☆32Updated last week
Alternatives and similar repositories for SymbolicSMT.jl
Users that are interested in SymbolicSMT.jl are comparing it to the libraries listed below
Sorting:
- Like a kick in the monads☆42Updated 3 years ago
- Pattern matching☆53Updated 3 years ago
- A static method overlay and optimization tool with configurable code generation and execution.☆53Updated 3 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- Utilities to analyze Julia's method tables☆96Updated last month
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- Radical ideas for the Julia language.☆26Updated 5 years ago
- ☆41Updated 3 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- A utility package for working with Julia's CodeInfo internal representation.☆19Updated last year
- Provides a simple macro to make readable anonymous functions in Julia☆31Updated 4 years ago
- Dispatch on keyword arguments☆40Updated 3 years ago
- ☆51Updated last year
- Functions to transform text into unicode symbols, e.g. latex --> unicode☆33Updated last month
- Build types in Julia where some fields have computed types☆62Updated last year
- Non-iterable ranges☆35Updated last year
- Julia implementation for the BFloat16 number type☆53Updated last month
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 4 years ago
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 3 years ago
- An Abstract Reasoning Logic Interface☆15Updated 4 years ago
- KeywordCalls makes it easy to define a method taking a NamedTuple considered as a an unordered collection of bound variables. The require…☆24Updated 2 years ago
- Some useful lenses☆34Updated last week
- iterate and foldl for humans™☆28Updated 5 years ago
- Base API optimized for tuples☆19Updated 5 years ago
- POSIX Threads support in Julia.☆17Updated 2 years ago
- Optional value handling for Julia☆29Updated 2 years ago
- Tensor algebra abstract type interoperability setup☆44Updated 3 weeks ago
- Safe resource handling for Julia, without the do blocks☆31Updated 3 years ago
- Arithmetic with small and with very large rationals is made fast.☆22Updated 2 years ago
- Representation of infinity in Julia☆15Updated 4 years ago