GitHub repository: 5nizza/party-elli
Primary language: Python
Created: 2015-09-23T17:29:45Z
Description: SMT based bounded synthesis