JuliaSymbolics/SymbolicSAT.jl

Stars
27
Rank 878,364 (Top 18 %)
Language
Julia
License
Other
Created about 4 years ago
Updated almost 3 years ago

JuliaSymbolics/SymbolicSAT.jl

JuliaSymbolics

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

for you with the good questions

Symbolics.jl

Symbolic programming for the next generation of numerical software

SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

Metatheory.jl

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

TermInterface.jl

interface for symbolic terms

Rewriters.jl

A library for composing together term rewriting combinators.

JuliaSymbolics.org

Website for the JuliaSymbolics organization.

Resources

A repository for storing resources like logos