zenna/dreal3

Stars
1
Language SMT
License
GNU General Publi...
Created about 9 years ago
Updated about 9 years ago

zenna/dreal3

zenna

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

Omega.jl

Causal, Higher-Order, Probabilistic Programming

Sigma.jl

Sigma is a probabilistic programming environment implemented in Julia

Jupyter Notebook

Z3.jl

Julia wrapper for The Z3 Theorem Prover (SMT Solver)

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

XEAL

XPU Evolutionary Algorithm Library

Hologram.jl

OmegaCore.jl

zetta

SortMyLife.jl

SMTBase.jl

Interface for SMT solvers and things which have nondeterministic variables.

icml2020causalomega

Jupyter Notebook

Induct

Program Induction

ZenUtils.jl

Julia misc utilities

SoftPredicates.jl

IBEX.jl

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

PyTorch.jl

PyTorch wrapper

MathTest.jl

SWIP.jl

xenomai-MAS-911X-driver

A driver for DAC 911x under xenomai analogy API

CDCL.jl

Conflict Driven Clause Learning in Julia

curiosity

CounterfactualFairness.jl

halisi

AlioZoo.jl

PaperPlots.jl

RationalAbstraction.jl