issues
search
nickdrozd
/
reazon
miniKanren for Emacs
GNU General Public License v3.0
112
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove unnecessary computation in reazon--take
#15
ethan-leba
closed
2 years ago
4
Fix bug with `reazon-defrel` and empty relations
#14
ethan-leba
closed
3 years ago
1
Add occurs-check flag
#13
nickdrozd
closed
3 years ago
1
Add `reazon-run-with-config` and 'timeout' option
#12
ethan-leba
closed
3 years ago
7
Add docstring support for reazon-defrel
#11
ethan-leba
closed
3 years ago
4
Error if reazon-defrel is run under dynamic scope
#10
ethan-leba
closed
3 years ago
4
conda bug
#9
rajeevn1
opened
5 years ago
3
Remove unnecessary constraints within reazon--test-sudoku-solve-4x4.
#8
ebpa
closed
6 years ago
5
Bogus "not left unused" compiler warning
#7
nickdrozd
opened
6 years ago
0
Add a flag for running the occurs check
#6
nickdrozd
closed
3 years ago
1
Add a flag to raise an error when the occurs check comes back true
#5
nickdrozd
closed
3 years ago
1
Convert readme to org
#4
nickdrozd
closed
6 years ago
0
Add constraints, especially disequality
#3
nickdrozd
opened
6 years ago
0
Add docstrings with defrel
#2
nickdrozd
closed
3 years ago
0
Add initial readme
#1
nickdrozd
closed
6 years ago
0