solver → trampoline Relation

File in src/python/solver	Includes file in src/python/solver/trampoline
bindings.cpp	py_solver.h