diff --git a/todo.txt b/todo.txt
deleted file mode 100644
index 82038c3b4..000000000
--- a/todo.txt
+++ /dev/null
@@ -1,9 +0,0 @@
-- consolidate virtual-solver and pool solver
-
-- fixup mbp/mbi
-
-- API additions to expose functionality
-
-- Equality solver
-
-- Generalizer index
\ No newline at end of file