PyInstaller's bootloader does not use floating point anywhere AFSIK. Please try to track this down. Since you are using gdb, I assume you are able to find the exact place there this error occurs.

Hi all, I have the same problem in inversion. everything is working in forward simulation but it is not working for all adjoint sources and I got this error: Program received signal SIGFPE: ...

The value-range analysis maintains an over-approximated value range for each program variable, which can efficiently filter out those constraints for checking the operations that are guaranteed to be ...