GitHub repository: 5nizza/aisy
Primary language: C
Created: 2015-10-16T13:53:37Z
Description: AIGER based synthesizer using BDDs