Issues

• Regarding the PCFG definition

  ellisk42/ec#111 · Filter by author mdrpanwar opened on Feb 8, 2023

• Understanding list_tasks2.json

  ellisk42/ec#110 · Filter by author mdrpanwar opened on Feb 8, 2023

• Running with Singularity (as of Dec. 2022)

  ellisk42/ec#108 · Filter by author jthuraisamy opened on Dec 5, 2022

• Defining ocaml primitives of type tuple

  ellisk42/ec#106 · Filter by author thelogicalgrammar opened on Oct 29, 2022
  1

• How are probabilistic programs specified?

  ellisk42/ec#104 · Filter by author thelogicalgrammar opened on Oct 20, 2022
  1

• glibc version issue

  ellisk42/ec#97 · Filter by author Seondong opened on Apr 28, 2022
  1

• cannot build ocaml libs

  ellisk42/ec#96 · Filter by author sneiman opened on Mar 17, 2022
  4

• Error when running bin/logo.py

  ellisk42/ec#94 · Filter by author Dragon-hxl opened on Mar 6, 2022

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

  ellisk42/ec#92 · Filter by author brando90 opened on Feb 26, 2022

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

  ellisk42/ec#91 · Filter by author brando90 opened on Feb 23, 2022

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

  ellisk42/ec#89 · Filter by author brando90 opened on Jan 13, 2022
  1

• Greater_than Primitive for real numbers

  ellisk42/ec#83 · Filter by author mk98000 opened on Aug 3, 2021

• Error while following execution steps

  ellisk42/ec#80 · Filter by author Clarit7 opened on May 26, 2021
  11

• Created test domain, but program cannot solve it.

  ellisk42/ec#77 · Filter by author Angular-Angel opened on May 10, 2021
  7

• Demo example with python solver not working

  ellisk42/ec#75 · Filter by author falaktheoptimist opened on Apr 28, 2021
  3

• container img Failed to mount squashfs image

  ellisk42/ec#72 · Filter by author simin75simin opened on Apr 12, 2021
  5

• Is it still possible to use the pypy solver?

  ellisk42/ec#70 · Filter by author yichao-liang opened on Mar 28, 2021
  1

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

  ellisk42/ec#64 · Filter by author jrb314 opened on Jul 8, 2020
  1

• Python enumeration with contextual grammar network?

  ellisk42/ec#52 · Filter by author lio-wong opened on Jul 9, 2019
  1