Issues

• i met warning and it said i have to report to dev

  lorepozo/program-induction#24 · Filter by author Duytan1801 opened on Oct 25, 2025

• implement From for TRS and UTRS

  lorepozo/program-induction#21 · Filter by author joshrule opened on Apr 8, 2019

• Improve TRS sampler

  enhancement
  lorepozo/program-induction#19 · Filter by author joshrule opened on Sep 28, 2018

• Add weighted_sample_logps.

  lorepozo/program-induction#18 · Filter by author joshrule opened on Sep 28, 2018

• Make TRS rules probabilistic

  enhancement
  lorepozo/program-induction#17 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: graph rewriting

  enhancement
  lorepozo/program-induction#16 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: conditional rewriting

  enhancement
  lorepozo/program-induction#15 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: higher-order rewriting

  enhancement
  lorepozo/program-induction#14 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: Parigot's (1992) lambda-mu calculus

  enhancement
  lorepozo/program-induction#13 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: Barry Jay's (2016) lambda-SF calculus

  enhancement
  lorepozo/program-induction#12 · Filter by author joshrule opened on Sep 28, 2018

• Add additional representations: Barry Jay's (2009) pattern calculus

  enhancement
  lorepozo/program-induction#11 · Filter by author joshrule opened on Sep 28, 2018

• Create TRS search methods that capture the behavior of less flexible formalisms

  enhancement
  lorepozo/program-induction#10 · Filter by author joshrule opened on Sep 28, 2018

• Separate public and private operators in TRS Lexicon

  enhancement
  lorepozo/program-induction#9 · Filter by author joshrule opened on Sep 28, 2018