pyCMPL on Raspberry Pi

[356255531]

Dear Author,

I am aware of the dedicated CMPL 1.12 version for Raspberry Pi. Is there also a similar release for CMPL 2.X with python3?

I tried with the official release of CMPL 2.0 binary and pyCmpl on my Raspberry Pi 2 and ended up with a exec format error, which indicated the CPU architecture incompatibility.

Therefore, I also tried to compile the CMPL 2.0 from source on PI, but the pyCmpl solver still encountered with a Cmpl Exception. The error log is as following:

File "/best_components/labinternalcomponents/utils/utils.py", line 250, in action_handler
update_handler(simulator_info, pre_jsons)
File "/best_components/labinternalcomponents/obsd/obsd.py", line 463, in update
scheduler.schedule(
File "/best_components/labinternalcomponents/obsd/scheduler.py", line 128, in schedule
m.solve()
File "/best_components/labinternalcomponents/resources/cmpl/pyCmpl/lib3/pyCmpl/Cmpl.py", line 800, in solve
self.__runCmpl(cmdList)
File "/best_components/labinternalcomponents/resources/cmpl/pyCmpl/lib3/pyCmpl/Cmpl.py", line 1152, in __runCmpl
raise CmplException("Cmpl finished with errors", self.__status.cmplMessageList)
pyCmpl.CmplException.CmplException: ERROR:

It seems that the CMPL binary can be called now, but somehow still problematic. I don't know if the problem is still with the CPU architecture or something else. Do you have any comment on how can I progress or at least debug?

Many thanks,
Zhiwei