This artifact provides the implementation of Minotaur, which implements the constrained-based approach for testing program analyzers presented in the paper. In particular, Minotaur generates test programs from SMT seeds and contains functionality to test 11 programs analyzers against the generated programs. This artifact also contains the required seed files, configurations, and functionality to recreate the experimental results from the paper. It requires Python 3.10 or 3.11 and Docker to run.