issues
search
kalmarek
/
KnuthBendix.jl
Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
MIT License
8
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
add precompile workload
#79
kalmarek
closed
1 week ago
1
Benchmarking example
#78
rokicki
opened
2 months ago
1
add benchmarks
#77
kalmarek
closed
2 months ago
1
Add `PrefixAutomaton`
#76
kalmarek
closed
2 months ago
1
Prefix automaton -- julia bug?
#75
kalmarek
opened
3 months ago
1
Enable filtering of added rules via knobs in Settings
#74
kalmarek
closed
3 months ago
1
rename index automaton terminals
#73
kalmarek
closed
3 months ago
1
general cleanup
#72
kalmarek
closed
3 months ago
1
rename completion algs
#71
kalmarek
closed
3 months ago
1
more on backtracking
#70
kalmarek
closed
3 months ago
0
rewrite rewrite docs
#69
kalmarek
closed
1 year ago
1
docs docs docs
#68
kalmarek
closed
1 year ago
1
Benchmarking
#67
kalmarek
closed
1 year ago
2
create timing comparison with kbmag
#66
kalmarek
opened
1 year ago
5
Roadmap
#65
kalmarek
opened
1 year ago
0
Revert "bump version to 0.5.0"
#64
kalmarek
closed
2 years ago
0
Mk/fixes for groups
#63
kalmarek
closed
2 years ago
0
Fixes for Groups.jl next release
#62
kalmarek
closed
2 years ago
1
Mk/orderings anew
#61
kalmarek
closed
2 years ago
0
backtrack
#60
kalmarek
closed
2 years ago
1
Make IndexAutomaton deterministic
#59
kalmarek
closed
2 years ago
1
move Words and Automata to their own modules
#58
kalmarek
closed
2 years ago
1
Mk/rebuild idx a
#57
kalmarek
closed
2 years ago
0
Mk/remake alphabet
#56
kalmarek
closed
2 years ago
0
Mk/completion automaton
#55
kalmarek
closed
2 years ago
1
A brand new implementation of the index automaton
#54
kalmarek
closed
2 years ago
1
Enh/word iter perf
#53
kalmarek
closed
2 years ago
1
add weighted lex ordering
#52
kalmarek
closed
2 years ago
1
Taking Rules seriously
#51
kalmarek
closed
3 years ago
3
fix printing when symbols involve utf8 wide chars
#50
kalmarek
closed
3 years ago
0
Enh/free rewrite
#49
kalmarek
closed
3 years ago
1
Doc fixes
#48
mikolajpabiszczak
closed
3 years ago
1
Enh/kbmag parsing
#47
kalmarek
closed
3 years ago
1
automaton corruption during `knuthbendix!`?
#46
kalmarek
closed
2 years ago
5
incorporate example Monoid implementation?
#45
kalmarek
opened
3 years ago
0
TagBot trigger issue
#44
JuliaTagBot
closed
3 years ago
8
major refactor of IndexAutomaton??
#43
kalmarek
closed
2 years ago
4
Enh/deprecate word()
#42
kalmarek
closed
3 years ago
1
Fix/simplifyrule!
#41
kalmarek
closed
3 years ago
2
Zipping reversed BufferWords yields error
#40
mikolajpabiszczak
closed
3 years ago
1
Doc added and project updated
#39
mikolajpabiszczak
closed
3 years ago
3
Kbs2 updates
#38
mikolajpabiszczak
closed
3 years ago
15
change the order of args in Base.inv (Alphabet goes first)
#37
kalmarek
closed
3 years ago
2
Kbs automata integration
#36
mikolajpabiszczak
closed
4 years ago
7
Enumerate normal forms from a given RewritingSystem/Automaton
#35
kalmarek
opened
4 years ago
2
Recursive path ordering
#34
mikolajpabiszczak
closed
4 years ago
2
Example 5.5 - Sims does not replicate
#33
mikolajpabiszczak
closed
3 years ago
2
New examples
#32
kalmarek
closed
4 years ago
0
Basic wreath-product ordering implemented
#31
mikolajpabiszczak
closed
4 years ago
7
Enh/rewrite interface
#30
kalmarek
closed
4 years ago
1
Next