.../{old-code => new-code}/dpll-user.c             | 23 ++++++++++++++++++++++
 .../{old-code => new-code}/dpll-user.h             | 10 ++++++++++
 2 files changed, 33 insertions(+)