jijzept_solver
jijzept_solver_proto
