From 31d896dd7079cec12c1a24afb143b2b3a9811fc2 Mon Sep 17 00:00:00 2001 From: Spencer Killen Date: Wed, 29 Mar 2023 13:28:51 -0600 Subject: [PATCH] Delete 'TODO.md' --- TODO.md | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 TODO.md diff --git a/TODO.md b/TODO.md deleted file mode 100644 index cf6e460..0000000 --- a/TODO.md +++ /dev/null @@ -1,24 +0,0 @@ -- Demo doing graph colouring program - - Explain graph colouring -- Goal is to learn how to learn - - Manual too - - Small examples - - Hypothesize and test - - No one "right" way to model a problem - - Less complicated is generally better -- First: direct example (color_prim.lp) - - Show basic grounding - - Uncomment vertex: we're missing some - - Uncomment arc to make the graph symmetric (undirected) - - - Show basic solving and disjunctive rule - - Ground it first. - - We have dupes -- Ferry problem - - Explain time - - - - - -CLPFD