@@ -0,0 +1,821 @@
+#!/usr/bin/env python%0A%0Aimport rospy%0A%0Afrom vigir_bs_msgs.srv import CompileLTL%0Afrom vigir_bs_msgs.msg import LTLFormula, BSErrorCodes%0A%0Adef handle_ltl_compilation(req):%0A    '''Responsible for putting together a complete LTL specification.'''%0A    %0A    initial_conditions = req.initial_conditions%0A    goal = req.goal%0A%0A    ltl_specification = LTLFormula()%0A    # temp%0A    ltl_specification.sys_init = initial_conditions%0A    ltl_specification.sys_liveness = goal%0A%0A    return LTLCompilationResponse(ltl_specification)%0A%0Adef ltl_compilation_server():%0A    ''''Server'''%0A    %0A    rospy.init_node('ltl_compilation_server')%0A    %0A    s = rospy.Service('add_two_ints', CompileLTL, handle_ltl_compilation)%0A    %0A    rospy.loginfo(%22LTL Compilation Request received%22)%0A    rospy.spin()%0A%0Aif __name__ == %22__main__%22:%0A    ltl_compilation_server()

Add server script