ahumenberger / Z3.jl
Julia interface to Z3
☆57Updated last month
Related projects ⓘ
Alternatives and complementary repositories for Z3.jl
- Build Petri net models compositionally☆76Updated 2 weeks ago
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- Library for compile-time computing in julia☆70Updated 11 months ago
- Compiled parser combinators and regular expressions in pure julia☆78Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago
- Like a kick in the monads☆41Updated 2 years ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆59Updated 4 months ago
- A little less conversation, a little more abstraction☆87Updated 2 years ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated 3 weeks ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆29Updated 2 months ago
- A static method overlay and optimization tool with configurable code generation and execution.☆54Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 2 months ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆25Updated last week
- Tensor algebra abstract type interoperability setup☆43Updated 3 weeks ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 4 months ago
- Pattern matching☆52Updated 2 years ago
- Full-featured traits in Julia. Without full features how dare I say this?☆65Updated 10 months ago
- Mike's Little Intermediate Representation☆111Updated 3 months ago
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- A simple shared suite of common derivative definitions☆75Updated 10 months ago
- Cunning tricks though the julia compiler internals☆85Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Immutables as mutables, mutables as immutables.☆107Updated last week
- Rigorous function approximation using Taylor models in Julia☆63Updated this week
- Examples for MLStyle.jl☆20Updated last year
- for you with the good questions☆27Updated 3 years ago
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago