issues
search
ellisk42
/
ec
MIT License
485
stars
140
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How to prepare the training data set for primitives with boolean type? (Question)
#115
dongchen-coder
closed
5 months ago
1
Results in branch arc_language
#114
Aymanjeb
closed
3 weeks ago
0
Added (broken) first step to stitch compressor.
#113
samacqua
closed
1 year ago
0
Version-locking + M1 support
#112
samacqua
closed
1 year ago
0
Regarding the PCFG definition
#111
mdrpanwar
opened
1 year ago
0
Understanding list_tasks2.json
#110
mdrpanwar
opened
1 year ago
0
Bump certifi from 2019.3.9 to 2022.12.7
#109
dependabot[bot]
opened
1 year ago
0
Running with Singularity (as of Dec. 2022)
#108
jthuraisamy
opened
1 year ago
0
Bump pillow from 6.0.0 to 9.3.0
#107
dependabot[bot]
opened
2 years ago
0
Defining ocaml primitives of type tuple
#106
thelogicalgrammar
opened
2 years ago
1
How can I change the line thickness in turtle images?
#105
habibrahmanbd
closed
1 year ago
0
How are probabilistic programs specified?
#104
thelogicalgrammar
opened
2 years ago
1
Error: Unbound type constructor json make: *** [Makefile:3: all] Error 1 When running make
#103
thelogicalgrammar
closed
2 years ago
0
Update creating-new-domains.md
#102
ManuelEberhardinger
opened
2 years ago
0
Bump joblib from 0.13.2 to 1.2.0
#101
dependabot[bot]
opened
2 years ago
0
Bump protobuf from 3.8.0 to 3.18.3
#100
dependabot[bot]
opened
2 years ago
0
Bump numpy from 1.16.4 to 1.22.0
#99
dependabot[bot]
opened
2 years ago
0
Bump smallvec from 0.6.4 to 0.6.14 in /rust_compressor
#98
dependabot[bot]
opened
2 years ago
0
glibc version issue
#97
Seondong
opened
2 years ago
1
cannot build ocaml libs
#96
sneiman
opened
2 years ago
4
Bump pillow from 6.0.0 to 9.0.1
#95
dependabot[bot]
closed
2 years ago
1
Error when running bin/logo.py
#94
Dragon-hxl
opened
2 years ago
0
Benchmark
#93
ellisk42
closed
2 years ago
0
How does EC^2 makes sure to not only extract subexpressions?
#92
brando90
opened
2 years ago
0
Why does dream coder use e-graphs vs fragment grammars?
#91
brando90
opened
2 years ago
0
Bump protobuf from 3.8.0 to 3.15.0
#90
dependabot[bot]
closed
2 years ago
1
Q: What is the best way to incorporate E-graphs with DreamCoder?
#89
brando90
opened
2 years ago
1
Bump pillow from 6.0.0 to 9.0.0
#88
dependabot[bot]
closed
2 years ago
1
Fail to run ``make'' in the root dir.
#87
XgDuan
closed
3 years ago
2
Bump pillow from 6.0.0 to 8.3.2
#86
dependabot[bot]
closed
2 years ago
1
Migrate to OCaml 4.12.0 and Dune build system, add GitHub workflow with tests
#85
andreyz4k
opened
3 years ago
0
Any major differences between OCaml and python Enumeration solvers?
#84
rkjones4
closed
3 years ago
1
Greater_than Primitive for real numbers
#83
madhavk98
opened
3 years ago
0
Bump pillow from 6.0.0 to 8.2.0
#82
dependabot[bot]
closed
3 years ago
1
Bump urllib3 from 1.25.3 to 1.26.5
#81
dependabot[bot]
opened
3 years ago
0
Error while following execution steps
#80
Clarit7
opened
3 years ago
11
Replace Yojson's `to_float` with `to_number`.
#79
rosekunkel
closed
3 years ago
2
Error in New Domains Script incr.py
#78
sreejank
closed
3 years ago
2
Created test domain, but program cannot solve it.
#77
Angular-Angel
opened
3 years ago
7
Bump urllib3 from 1.25.3 to 1.25.8
#76
dependabot[bot]
closed
3 years ago
1
Demo example with python solver not working
#75
falaktheoptimist
opened
3 years ago
3
Update the PyPy install instructions
#74
Julian
closed
2 years ago
0
Question: How does the concept abstraction algorithm work?
#73
slightknack
closed
3 years ago
3
container img Failed to mount squashfs image
#72
simin75simin
opened
3 years ago
5
multithreading seems to be broken for me
#71
snapo
closed
3 years ago
0
Is it still possible to use the pypy solver?
#70
yichao-liang
opened
3 years ago
1
Bump pillow from 6.0.0 to 8.1.1
#69
dependabot[bot]
closed
3 years ago
1
Running a basic example: solver missing
#68
ivan-gavran
closed
3 years ago
6
MacOS Installation
#67
Sharad24
closed
3 years ago
6
Bump pillow from 6.0.0 to 7.1.0
#66
dependabot[bot]
closed
3 years ago
1
Next