GitHub - htoyll8/deductive-program-synthesis: Deductive Program Synthesis algorithm that uses tree rewriting and pattern-directed invocation.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
main.py		main.py

About

Deductive Program Synthesis algorithm that uses tree rewriting and pattern-directed invocation.

No releases published

No packages published