Assertion: disco | /r/HasProperty | discrete conic optimization
Facets:
Source sentences:
text: DisCO (Discrete Conic Optimization) is a solver for Mixed Integer Second Order Conic Optimization (MISOCO) problems.