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