LICENSE
README.md
pyproject.toml
src/simpleSketch.egg-info/PKG-INFO
src/simpleSketch.egg-info/SOURCES.txt
src/simpleSketch.egg-info/dependency_links.txt
src/simpleSketch.egg-info/entry_points.txt
src/simpleSketch.egg-info/requires.txt
src/simpleSketch.egg-info/top_level.txt
src/simple_sketch/README.md
src/simple_sketch/__init__.py
src/simple_sketch/simple_sketch.py
src/simple_sketch/lib/__init__.py
src/simple_sketch/lib/adt/__init__.py
src/simple_sketch/lib/adt/tree/__init__.py
src/simple_sketch/lib/adt/tree/build.py
src/simple_sketch/lib/adt/tree/paths.py
src/simple_sketch/lib/adt/tree/walk.py
src/simple_sketch/lib/adt/tree/search/__init__.py
src/simple_sketch/lib/adt/tree/search/pattern.py
src/simple_sketch/lib/adt/tree/transform/__init__.py
src/simple_sketch/lib/adt/tree/transform/apply.py
src/simple_sketch/lib/adt/tree/transform/substitute.py
src/simple_sketch/simple_sketch_cli/__init__.py
src/simple_sketch/simple_sketch_cli/simple_sketch_cli.py
src/simple_sketch/simple_sketch_gui/__init__.py
src/simple_sketch/simple_sketch_gui/simple_sketch_gui.py
src/simple_sketch/simple_sketch_gui/assets/examples/example-1.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/example-2.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/example-3.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-1.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-2.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-3.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-1.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-2.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-3.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-1.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-2.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-3.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-4.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-5.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-6.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-7.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-8.yaml
src/simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/Basic-Array-Examples/example-1.yaml
src/simple_sketch/synthesis/__init__.py
src/simple_sketch/synthesis/cegis.py
src/simple_sketch/synthesis/specification.py
src/simple_sketch/synthesis/synthesizer.py
src/simple_sketch/utilities/Utilities.py
src/simple_sketch/utilities/__init__.py
src/simple_sketch/verifier/__init__.py
src/simple_sketch/verifier/wp.py
src/simple_sketch/while_lang/__init__.py
src/simple_sketch/while_lang/while_language.py
src/simple_sketch/while_lang/syntax/__init__.py
src/simple_sketch/while_lang/syntax/syntax.py
src/simple_sketch/while_lang/syntax/while_lang.lark
src/simple_sketch/z3_handler/__init__.py
src/simple_sketch/z3_handler/z3_handler.py
src/simple_sketch/z3_handler/z3_text_parser/__init__.py
src/simple_sketch/z3_handler/z3_text_parser/z3_syntax.lark
src/simple_sketch/z3_handler/z3_text_parser/z3_text_parser.py
tests/test_WhileParser.py
tests/test_cegis.py
tests/test_simple_sketch.py
tests/test_synthesizer.py
tests/test_wp.py
tests/test_z3_text_parser.py