A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.
Primary LanguagePDDLGNU General Public License v3.0GPL-3.0
No issues in this repository yet.