GitHub repository: trailofbits/differ
Primary language: Python
Description: Detecting Inconsistencies in Feature or Function Evaluations of Requirements