여기에는 OSI 승인 BOOST 라이선스가 사용됩니다. SInE Sumo 추론 엔진 GPLv는 대규모 이론, 특히 SUMO를 대상으로 하는 메타프로버입니다. 사실 이것은 증명자나 E와 같은 다른 일차 이론 개선자가 큰 문제에서 훨씬 더 효과적일 수 있도록 설계된 지원 프로그램입니다.

This uses the BOOST license, which is OSIapproved. SInE Sumo Inference Engine GPLv is a metaprover targeted on large theories, especially on SUMO. This is actually a support program designed to make other other firstorder theoremprovers like prover and E much more effective on large problems.