DART-NL (CS 846 project)