From ffb67c9dcd22c4c3258b9ef78301e404e7d9a796 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 5 Oct 2023 15:28:45 +0200 Subject: Split isconsistent() and issolvable() --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 2b8fdb2..0b070a0 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,9 @@ Work in progress. TODO: -* transformations +* finish second half of transformations +* implement writecubesrc() to make it easy to implement transformations +* implement transformations * setup benchmarks * coordinates: co, eo, epsep, cpsep_sym, cocpsep_sym, cphtr_sym, cocphtr_sym * pruning tables (1 bit per entry + fallback) -- cgit v1.3