%FILES%
ucrt64/
ucrt64/bin/
ucrt64/bin/libyices.dll
ucrt64/bin/yices-sat.exe
ucrt64/bin/yices-smt.exe
ucrt64/bin/yices-smt2.exe
ucrt64/bin/yices.exe
ucrt64/include/
ucrt64/include/yices.h
ucrt64/include/yices_exit_codes.h
ucrt64/include/yices_limits.h
ucrt64/include/yices_types.h
ucrt64/lib/
ucrt64/lib/libyices.a
ucrt64/lib/libyices.dll.a
ucrt64/share/
ucrt64/share/licenses/
ucrt64/share/licenses/yices/
ucrt64/share/licenses/yices/LICENSE
