4 ms·
Created a PR to mention tools using SCIP in the README. https://github.com/sourcegraph/scip/pull/101 https://github.com/sourcegraph/scip/pull/101
by typesanitizer 4y ago
Created a PR to mention tools using SCIP in the README. https://github.com/sourcegraph/scip/pull/101 https://github.com/sourcegraph/scip/pull/101