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