GitHub repository: AnzhelaSukhanova/HornFuzz
Primary language: Python
Description: CHC solver fuzzer