This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
|
set (LIBRARY_PL_VLP
|
|
clpfd.pl
|
|
clp_distinct.pl
|
|
simplex.pl
|
|
)
|
|
|
|
install(FILES ${LIBRARY_PL_CLP}
|
|
DESTINATION ${YAP_INSTALL_DATADIR}
|
|
)
|
|
|
|
|
|
|
|
|