ellisk42 / ec

ellisk42/ec Issues

How to prepare the training data set for primitives with boolean type? (Question)
Closed 3 months ago1
How can I change the line thickness in turtle images?
Closed a year ago
glibc version issue
Updated a year ago1
Results in branch arc_language
Updated a year ago
cannot build ocaml libs
Updated a year ago4
Regarding the PCFG definition
Updated 2 years ago
Understanding list_tasks2.json
Updated 2 years ago
How are probabilistic programs specified?
Updated 2 years ago1
Running with Singularity (as of Dec. 2022)
Updated 2 years ago
Created test domain, but program cannot solve it.
Updated 2 years ago7
Defining ocaml primitives of type tuple
Updated 2 years ago1
Error: Unbound type constructor json make: *** [Makefile:3: all] Error 1 When running make
Closed 2 years ago
Demo example with python solver not working
Updated 2 years ago3
MacOS Installation
Closed 3 years ago6
Fail to run ``make'' in the root dir.
Closed 3 years ago2
Running a basic example: solver missing
Closed 4 years ago6
Error when running bin/logo.py
Updated 3 years ago
How does EC^2 makes sure to not only extract subexpressions?
Updated 3 years ago
Why does dream coder use e-graphs vs fragment grammars?
Updated 3 years ago
Q: What is the best way to incorporate E-graphs with DreamCoder?
Updated 3 years ago1
Any major differences between OCaml and python Enumeration solvers?
Closed 3 years ago1
Question: How does the concept abstraction algorithm work?
Closed 3 years ago3
Greater_than Primitive for real numbers
Updated 3 years ago
container img Failed to mount squashfs image
Updated 3 years ago5
Error while following execution steps
Updated 3 years ago11
Error in New Domains Script incr.py
Closed 3 years ago2
multithreading seems to be broken for me
Closed 3 years ago
Is it still possible to use the pypy solver?
Updated 4 years ago1
Is this the codebase for https://arxiv.org/pdf/2006.08381.pdf?
Updated 4 years ago1
Python enumeration with contextual grammar network?
Updated 5 years ago1
KeyError
Closed 7 years ago5