Wiki

Clone wiki

sketch-frontend / Development

Development

The SKETCH source is divided into two parts, which now reside in different repositories. The backend contains the main CEGIS loop (for sequential sketches), and the frontend transforms SKETCH input into lower-level code.

Updated