GitHub repository: unitn-sml/wmi-pa
Primary language: Python
Created: 2017-08-30T15:19:54Z
Description: Efficient WMI via SMT-Based Predicate Abstraction