has been retired.
We are currently developing DeALS, a system that incorporates key concepts and techniques from LDL++, along with important advances.
Please visit the DeALS project portal for more information.