Commits

Shlomi Fish  committed f76d47c

Added patsolve to the TODO list.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@318 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

  • Participants
  • Parent commits 05ffb59

Comments (0)

Files changed (1)

File fc-solve/source/TODO

 
 --- Non-pressing ---
 
+* Integrate the patsolve's prioritization and mixed BFS/DFS scan.
+
 * Make the code splint-clean.
 
 * Write an architecture document.