/test/unit/prop/
../
CMakeLists.txt
bool_proof_checker_black.h
cnf_stream_white.cpp