solvers → c2goto Relation

File in src/solvers	Includes file in src/c2goto
minisat / minisat_conv.h	headers / limits.h
z3 / try_z3.c	headers / stdio.h