zenna/Z3.jl

Stars
24
Rank 956,298 (Top 20 %)
Language
Julia
Created about 9 years ago
Updated almost 7 years ago

zenna/Z3.jl

zenna

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Julia wrapper for The Z3 Theorem Prover (SMT Solver)

Omega.jl

Causal, Higher-Order, Probabilistic Programming

Sigma.jl

Sigma is a probabilistic programming environment implemented in Julia

Jupyter Notebook

Lens.jl

Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.

ParametricInversion.jl

Arrows.jl

AbstractDomains.jl

Various finite representations of large or infinite sets and associated primitive functions

CausalDiscovery.jl

Box2D.jl

Julia Port of Box2D

Spec.jl

AndTraits.jl

Intersection traits

DReal.jl

Nonlinear SMT solving using dReal

avalance

Induce Programs

Why.jl

Synthesis of Singular Causal Explanations

OmegaModels.jl

Jupyter Notebook

Jaxy.jl

Prototyping JAX-style transformations within Julia

JuliaProgrammingPuzzles.jl

cliques

Tensorboard.jl

Callbacks.jl

OmegaCore.jl

XEAL

XPU Evolutionary Algorithm Library

Hologram.jl

zetta

SortMyLife.jl

dreal3

SMTBase.jl

Interface for SMT solvers and things which have nondeterministic variables.

ZenUtils.jl

Julia misc utilities

icml2020causalomega

Jupyter Notebook

Induct

Program Induction

IBEX.jl

Ibex is a Julia wrapper for IBEX: a C++ library for constraint processing over real numbers

PyTorch.jl

PyTorch wrapper

MathTest.jl

SoftPredicates.jl

SWIP.jl

CDCL.jl

Conflict Driven Clause Learning in Julia

xenomai-MAS-911X-driver

A driver for DAC 911x under xenomai analogy API

curiosity

CounterfactualFairness.jl

AlioZoo.jl

halisi

PaperPlots.jl

RationalAbstraction.jl