Module programinduction::domains

We've implemented some domains to make things easier for you.

These domains are implemented in a straightforward fashion using the tools provided by this library.

Modules

circuits	The Boolean circuit domain.
strings	The string editing domain, for tackling Flashfill-style problems.