GitHub repository: stepbrobd/consistency-z3
Primary language: Python
Description: consistency semantics with z3