Traceback (most recent call last):
  File "E:\xSAP\scripts\compute_ft.py", line 138, in <module>
    from xsap.utils.processes.xsap_process import XsapProcess
  File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/xsap/utils/processes/xsap_process.py", line 28, in <module>
  File "/hardmnt/mitchell0/home/zampedri/ESTools/scripts/out/build/ESTools/xSAP/win64/xSAP-bin/code/xsap/features/tfpg_synthesis/tfpg_synthesizer.py", line 8, in <module>
  File "E:\xSAP\code\common\external\mathsat\mathsat.py", line 28, in <module>
    _mathsat = swig_import_helper()
  File "E:\xSAP\code\common\external\mathsat\mathsat.py", line 24, in swig_import_helper
    _mod = imp.load_module('_mathsat', fp, pathname, description)
ImportError: DLL load failed: %1 is not a valid Win32 application.
