ProgSynth, high-level framework for program synthesis
=====================================================

**ProgSynth** 
ProgSynth is a high-level framework that enables to leverage program synthesis for other domains such as reinforcement learning or system design.

Contents
---------
.. toctree::
    about
    introduction
    usage
    tutorial
    type_system
    grammars
    Specifications <examples>
    PBE <examples_pbe>
    prediction
    sharpening
    contributing
    license