JuliaSymbolics
-
SymbolicIntegration.jl Public
Julia implementations of symbolic integration algorithms: Risch method, rule based method
JuliaSymbolics/SymbolicIntegration.jl’s past year of commit activity
-
Symbolics.jl Public
Symbolic programming for the next generation of numerical software
-
Metatheory.jl Public
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
-
SymbolicSMT.jl Public
Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
JuliaSymbolics/SymbolicSMT.jl’s past year of commit activity
-
TermInterface.jl Public
Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
JuliaSymbolics/TermInterface.jl’s past year of commit activity
-
Rewriters.jl Public
A library for composing together term rewriting combinators.