usr/doc/ocplib-simplex/LICENSE
