various semantic and syntax based tools related to SCIP - View it on GitHub