GitHub repository: lukedickens/asp_recipe_graphs
Primary language: Jupyter Notebook
Created: 2023-05-18T10:18:38Z
Description: Code for reasoning about substitution and other properties of recipe graphs in ASP with supporting Python wrappers.