syfco

Library and tool for reading, manipulating and transforming synthesis specifications.