smt → prop Relation

File in src/solvers/smt	Includes file in src/solvers/prop
smt_solver.cpp	literal.h
smt_solver.h	literal.h
smt_solver.h	pointer_logic.h