From 27b55dcebc0a2f1ab2538f4dcb47b2a54a77087e Mon Sep 17 00:00:00 2001 From: Emile Date: Sun, 19 Feb 2023 14:22:23 +0100 Subject: cannot solve foo --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 11a1f5b..4ea1973 100644 --- a/README.md +++ b/README.md @@ -29,6 +29,18 @@ format: ((s, t), (goal_s, goal_t)) ['(v1)', '(v2)', '(v3)', ...] ``` +## Cannot Solve + +Caching implemented, view the current cache here: [cache.md](./cache.md) + +Input expressions that cannot be solved are logged here: [cannot_solve.md](./cannot_solve.md) + +format: + +``` +(s) | (t) +``` + ## Challenge Description -- cgit 1.4.1