ellisk42/ec

Issues

• How to prepare the training data set for primitives with boolean type? (Question)

  #115 opened 3 months ago by dongchen-coder
  1

• How can I change the line thickness in turtle images?

  #105 opened a year ago by habibrahmanbd
  0

• glibc version issue

  #97 opened 2 years ago by Seondong
  1

• Results in branch arc_language

  #114 opened a year ago by Aymanjeb
  0

• cannot build ocaml libs

  #96 opened 2 years ago by sneiman
  4

• Regarding the PCFG definition

  #111 opened 2 years ago by mdrpanwar
  0

• Understanding list_tasks2.json

  #110 opened 2 years ago by mdrpanwar
  0

• How are probabilistic programs specified?

  #104 opened 2 years ago by thelogicalgrammar
  1

• Running with Singularity (as of Dec. 2022)

  #108 opened 2 years ago by jthuraisamy
  0

• Created test domain, but program cannot solve it.

  #77 opened 3 years ago by Angular-Angel
  7

• Defining ocaml primitives of type tuple

  #106 opened 2 years ago by thelogicalgrammar
  1

• Error: Unbound type constructor json make: *** [Makefile:3: all] Error 1 When running make

  #103 opened 2 years ago by thelogicalgrammar
  0

• Demo example with python solver not working

  #75 opened 3 years ago by falaktheoptimist
  3

• MacOS Installation

  #67 opened 3 years ago by Sharad24
  6

• Fail to run ``make'' in the root dir.

  #87 opened 3 years ago by XgDuan
  2

• Running a basic example: solver missing

  #68 opened 4 years ago by ivan-gavran
  6

• Error when running bin/logo.py

  #94 opened 3 years ago by Dragon-hxl
  0

• How does EC^2 makes sure to not only extract subexpressions?

  #92 opened 3 years ago by brando90
  0

• Why does dream coder use e-graphs vs fragment grammars?

  #91 opened 3 years ago by brando90
  0

• Q: What is the best way to incorporate E-graphs with DreamCoder?

  #89 opened 3 years ago by brando90
  1

• Any major differences between OCaml and python Enumeration solvers?

  #84 opened 3 years ago by rkjones4
  1

• Question: How does the concept abstraction algorithm work?

  #73 opened 3 years ago by slightknack
  3

• Greater_than Primitive for real numbers

  #83 opened 3 years ago by madhavk98
  0

• container img Failed to mount squashfs image

  #72 opened 3 years ago by simin75simin
  5

• Error while following execution steps

  #80 opened 3 years ago by Clarit7
  11

• Error in New Domains Script incr.py

  #78 opened 3 years ago by sreejank
  2

• multithreading seems to be broken for me

  #71 opened 3 years ago by snapo
  0

• Is it still possible to use the pypy solver?

  #70 opened 3 years ago by yichao-liang
  1

• Is this the codebase for https://arxiv.org/pdf/2006.08381.pdf?

  #64 opened 4 years ago by jrb314
  1

• Python enumeration with contextual grammar network?

  #52 opened 5 years ago by CatherineWong
  1

• KeyError

  #1 opened 6 years ago by mathias-sm
  5