.../877763/ynl/{old-code => new-code}/dpll-user.c  | 40 ++++++++++++++++++++++
 .../877763/ynl/{old-code => new-code}/dpll-user.h  | 16 +++++++++
 2 files changed, 56 insertions(+)