syfco (hackage): Library and tool for reading, manipulating and transforming synthesis specifications.
Keywords: library|mit|program|syntcomp