Supported Checks

Supported default checks organized by solver interface.