Hi Armin,

On Tue, Jul 12, 2016 at 4:18 PM, armin mojoodi arminmojoodi@gmail.com wrote:

I want to use ltl2dstar.exe for a project, but I have a problem with v.0.5.3. when I run it with cmd it returns an error...

Exception in file common/RunProgram.win32.cpp at line 85: CreateProcess failed...

You did not show the command you executed to obtain this error, but if I were to guess, you haven't installed ltl2ba or configured ltl2dstar to use any other translator listed at http://ltl2dstar.de/docs/ltl2dstar.html#ltl-to-nba

If that does not help, please contact Joachim Klein (ltl2dstar's author) directly with more details: while Spot and ltl2dstar can interact in many ways, we do not maintain ltl2dstar, and are not familiar with its source code.

Best regards,