llzk-smt-check → include Relation

File in tools/llzk-smt-check	Includes file in tools/include
llzk-smt-check.cpp	tools / config.h