GitHub repository: Adobee/ACS
Created: 2016-08-27T07:06:15Z
Description: Accurate Condition Synthesis