set (LIBRARY_PL_VLP
clpfd.pl
clp_distinct.pl
simplex.pl
)
install(FILES ${LIBRARY_PL_CLP}
DESTINATION ${YAP_INSTALL_DATADIR}