Skip to content

NeuralCoder3/knuth_bendix_egraph

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

123 Commits
src
src
 
 
.gitignore
.gitignore
 
 
Cargo.toml
Cargo.toml
 
 
ReadMe.md
ReadMe.md
 
 
contrived_expansion_trip.p
contrived_expansion_trip.p
 
 
convert_egg.py
convert_egg.py
 
 
distrib_6x6.p
distrib_6x6.p
 
 
distrib_7x7.p
distrib_7x7.p
 
 
distrib_complex.p
distrib_complex.p
 
 
distrib_counterexample.p
distrib_counterexample.p
 
 
distrib_hard_4x4.p
distrib_hard_4x4.p
 
 
distrib_harder_5x5_nested.p
distrib_harder_5x5_nested.p
 
 
distrib_harder_5x5_v2.p
distrib_harder_5x5_v2.p
 
 
distrib_non_orientable_wrong.p
distrib_non_orientable_wrong.p
 
 
distributive.rule
distributive.rule
 
 
distributive2.rule
distributive2.rule
 
 
div_trs.p
div_trs.p
 
 
group.p
group.p
 
 
group.rule
group.rule
 
 
group2.p
group2.p
 
 
group2.rule
group2.rule
 
 
group3.p
group3.p
 
 
group3.rule
group3.rule
 
 
group4.p
group4.p
 
 
group_base.rule
group_base.rule
 
 
group_example.txt
group_example.txt
 
 
group_example2.txt
group_example2.txt
 
 
group_example3.txt
group_example3.txt
 
 
group_min.rule
group_min.rule
 
 
group_min2.rule
group_min2.rule
 
 
kbe.txt
kbe.txt
 
 
kbe2.txt
kbe2.txt
 
 
kbo_log.txt
kbo_log.txt
 
 
log10.txt
log10.txt
 
 
log5.txt
log5.txt
 
 
log6.txt
log6.txt
 
 
log7.txt
log7.txt
 
 
log8.txt
log8.txt
 
 
log9.txt
log9.txt
 
 
log_group_p.txt
log_group_p.txt
 
 
log_group_p2.txt
log_group_p2.txt
 
 
log_group_p3.txt
log_group_p3.txt
 
 
math.egg
math.egg
 
 
math.p
math.p
 
 
math_converted.rule
math_converted.rule
 
 
math_converted10.rule
math_converted10.rule
 
 
math_converted2.rule
math_converted2.rule
 
 
math_converted3.rule
math_converted3.rule
 
 
math_converted4.rule
math_converted4.rule
 
 
math_converted5.rule
math_converted5.rule
 
 
math_converted6.rule
math_converted6.rule
 
 
math_converted7.rule
math_converted7.rule
 
 
math_converted8.rule
math_converted8.rule
 
 
math_converted9.rule
math_converted9.rule
 
 
math_converted9_cut.rule
math_converted9_cut.rule
 
 
math_converted_div1.rule
math_converted_div1.rule
 
 
math_double_div.p
math_double_div.p
 
 
math_term.txt
math_term.txt
 
 
math_term2.txt
math_term2.txt
 
 
math_term3.p
math_term3.p
 
 
math_term3.txt
math_term3.txt
 
 
math_term3_eq.txt
math_term3_eq.txt
 
 
math_term3_eq2.txt
math_term3_eq2.txt
 
 
math_term3_min.p
math_term3_min.p
 
 
math_term3_simpl.txt
math_term3_simpl.txt
 
 
math_term4.txt
math_term4.txt
 
 
math_term4_simpl.txt
math_term4_simpl.txt
 
 
math_term5.txt
math_term5.txt
 
 
math_term6.txt
math_term6.txt
 
 
math_term6_eq.txt
math_term6_eq.txt
 
 
math_term6_simpl.txt
math_term6_simpl.txt
 
 
math_term7.txt
math_term7.txt
 
 
math_term8.txt
math_term8.txt
 
 
math_term_div.txt
math_term_div.txt
 
 
math_term_div_simpl.txt
math_term_div_simpl.txt
 
 
non_orientable_fixed_wrong.p
non_orientable_fixed_wrong.p
 
 
twee1.p
twee1.p
 
 
twee2.p
twee2.p
 
 

Repository files navigation

Only EGraph:

  • unorientable (commutativity)

Only KBO:

  • inventing variables
    • --x = x (needs *1 and 1 = -x * x)
  • growing the egraph

About

No description, website, or topics provided.

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages