The content from this page was lost in a recent server failure. We will be working to restore this content as soon as possible.
This is a conditional modelling solver for ASCEND that was written by Vicente Rico-Ramirez (see his reports). It is not currently working in ASCEND but we believe it could be revived with a little work by an interested contributor.
We have 'rescued' the source code and it can be seen here: solvers/ipslv
It appears that the code requires some changes to the ascend/compiler/analyse.c code in libascend, and that the various different versions of IPSlv use different versions of analyse.c. This will make re-integration of IPSlv into ASCEND potentially a little difficult,but based on Vicente's thesis, it appears that IPSlv could still be quite a useful solver and may well be worth trying to rescue fully.