Crate programinduction [−] [src]

A library for program induction and learning representations.

Implements Bayesian program learning and genetic programming.

Modules

domains	We've implemented some domains to make things easier for you.
lambda	(representation) Polymorphically-typed lambda calculus.
pcfg	(representation) Probabilistic context-free grammar without bound variables or polymorphism.

ECFrontier	A set of expressions which solve a task.
ECParams	Parameters for the EC algorithm.
GPParams	Parameters for genetic programming.
Task	A task which is solved by an expression under some representation.

EC	A kind of representation suitable for exploration-compression.
GP	A kind of representation suitable for genetic programming.