GitHub repository: ron813c/ACS
Description: Accurate Condition Synthesis