Commits

Shlomi Fish  committed 8ac2256

Update the description comment.

  • Participants
  • Parent commits bcff1cc

Comments (0)

Files changed (1)

File fc-solve/source/dbm_solver.c

  */
 /*
  * dbm_solver.c - a specialised solver that offloads the states' collection
- * to an on-disk DBM database such as Berkeley DB or Google's LevelDB. In the
- * future, may be adapted to be completely in-memory. It makes use of 
- * delta_states.c for a very compact storage.
+ * to an on-disk DBM database such as Berkeley DB or Google's LevelDB. Has
+ * been adapted to be completely in-memory. It makes use of delta_states.c
+ * for a very compact storage.
  *
  */
 #include <stdio.h>