As a user,
I want a jar check.jar where i can pass

• the Domain [Boolean or Continuous]
• a set of STL formulas
• a trajectory in JSON format

As a results i want

• a the Boolean vector of the satisfiaiblity of the STL formulas given as input.