:- lib(eplex_cplex). :- lib(eplex_xpress). :- lib(eplex).The first line explicitly requests the CPLEX solver, the second line explicitly requests the XPRESS-MP solver, and the third line will try to load whatever licenced solver is available on the computer. Note that the eplex-library provides a largely solver-independent API to the programmer, so many programs will run with either external solver.