Assertion: sol | /r/HasProperty | a file format
Facets:
Source sentences:
text: sol is a file format for representing solutions of mathematical programming problems.