### Unable to start Tcl/Tk !
### Ensure that you have installed the right version of Tcl/Tk
### Consult the ProB website
https://www3.hhu.de/stups/prob### ProB version: 1.8.0-final
### Prolog version: SICStus 4.3.5 (x86-win32-nt-4): Wed Dec 7 14:49:48 WEST 2016
! TCL
! goal: tcl_new/1
! Can't find a usable init.tcl in the following directories:
C:/WINDOWS/lib/tcl8.5 {C:/Users/User/Desktop/Project/lib/tcl8.5} C:/Users/
UserDesktop/lib/tcl8.5 {C:/Users/
User/Desktop/Project/library} C:/Users/
User/Desktop/library C:/Users/
User/Desktop/tcl8.5.2/library C:/Users/
User/tcl8.5.2/library
C:/WINDOWS/lib/tcl8.5/init.tcl: version conflict for package "Tcl": have 8.5.2, need exactly 8.5.18
version conflict for package "Tcl": have 8.5.2, need exactly 8.5.18
while executing
"package require -exact Tcl 8.5.18"
(file "C:/WINDOWS/lib/tcl8.5/init.tcl" line 19)
invoked from within
"source C:/WINDOWS/lib/tcl8.5/init.tcl"
("uplevel" body line 1)
invoked from within
"uplevel #0 [list source $tclfile]"