GitHub repository: usi-verification-and-security/SMTS
Primary language: Python
Created: 2020-11-11T09:42:27Z
Description: SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning