dcao/babble

Issues

• Exporting compression results in DreamCoder format

  #23 opened a year ago by andregraubner
  0

• Identical expressions are not compressed.

  #4 opened 3 years ago by mwillsey
  1

• DSRs mess up anti-unification

  #10 opened 2 years ago by nadia-polikarpova
  3

• AU does not extract all the common structure

  #9 opened 2 years ago by nadia-polikarpova
  1

• Abstract over all subsets of local variables

  #3 opened 3 years ago by rosekunkel
  0