JuliaSymbolics/Metatheory.jl
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.
JuliaMIT
Issues
- 4
Q: Using TermInterface to set up Metatheory
#173 opened by Audrius-St - 0
Compare with twee
#200 opened by 0x0f0f0f - 7
issue for ematching literals
#95 opened by jaakkor2 - 16
- 3
@slots x::T
#150 opened by jariji - 5
Consider not sharing buffers
#156 opened by willow-ahrens - 0
Refactor Codebase
#107 opened by 0x0f0f0f - 0
Try Dictionaries.jl
#168 opened by 0x0f0f0f - 12
regression in simplification compared to v1
#166 opened by simeonschaub - 23
Rule Macro Quotes Function Names
#87 opened by willow-ahrens - 14
Predicates not working in egraph
#123 opened by vitrun - 1
Conditions involving more than one variable
#151 opened by jariji - 0
- 3
Struct-Valued Analysis Cause Infinite Loop
#153 opened by kylebd99 - 5
Issues in E-graph matching for parametrized types
#142 opened by ChenZhao44 - 0
- 1
Should egraph hang on cancellation rule?
#154 opened by willow-ahrens - 5
Register
#135 opened by ChrisRackauckas - 0
2.0 Docs not deploying
#149 opened by 0x0f0f0f - 7
Scope of classic @rule matcher
#137 opened by Audrius-St - 4
Update `eggify.jl` for 2.0
#97 opened by jakevossen5 - 3
- 1
- 3
Q: Metatheory.jl code optimization for multivariate polynomial expressions?
#145 opened by Audrius-St - 1
- 0
Move integration tests to narrative documentation.
#147 opened by 0x0f0f0f - 1
`@areequal` not working with matching multiple sub-expressions (`xs...`)
#141 opened by adomasbaliuka - 5
Unable to saturate
#124 opened by vitrun - 1
is this the best way to `reverse(r::Rule)`?
#126 opened by anandijain - 1
Can not infer term type in egraph
#125 opened by vitrun - 8
Predicates does not work in Egraph saturation?
#117 opened by overshiki - 11
- 3
bug in @areequal
#121 opened by overshiki - 1
dynamic rule for egraph has weird behaviour of push! append! operation on vectors
#120 opened by overshiki - 0
why Fixpoint rewriter does not work as expected?
#119 opened by overshiki - 5
how could I pass the automatically generated rules into @rule and @theory macro?
#116 opened by overshiki - 1
Rewriting broadcasted functions doesn't work
#113 opened by jenkspt - 4
EGraph saturation does not run its iterations
#104 opened by Roger-luo - 3
istree(e::T) versus istree(T)
#90 opened by jverzani - 5
EqualityRule does not support user defined types
#103 opened by overshiki - 2
Proof production algorithm
#111 opened by vitrun - 6
Extracting an `Expr` from `ENodeTerm`
#102 opened by jakevossen5 - 4
- 0
Try to use Metatheory.jl in a Reasoning System.
#99 opened by AIxer - 1
Use Union{Some{T}, Nothing}
#93 opened by adkabo - 0
Related projects
#92 opened by adamnemecek - 3
The capture macro does not escape the left hand side pattern before splatting
#86 opened by willow-ahrens - 1
Syntax to match vectors
#89 opened by shashi - 1
Simple rules do not work
#88 opened by willow-ahrens - 2