GitHub repository: Fleischmaki/Minotaur
Primary language: SMT
Description: Minotaur: Automated soundness and precision testing for program analyzers