extract _check_solver_options from synthesize, is_realizable
extract _check_solver_options from synthesize, is_realizable

necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control