(library
 (name OcplibSimplex)
 (public_name ocplib-simplex)
 (libraries num logs)
 (modules_without_implementation coreSig extSigs)
)