I've worked a couple of years developing supply chain optimization software in C++ using ILOG constraint propagation software (Solver, now owned by IBM). At the

I've worked a couple of years developing supply chain optimization software in C++ using ILOG constraint propagation software (Solver, now owned by IBM). At the time we considered BinProlog. It had built range propagation, compiled to native x86 and had descent FFI interop. Nevertheless seems to have been abandoned in favour of SWI prolog and GNU toolchain. Not sure about GUIs; I would consider that a very different expertise. We used our own canvas C++ rendering engine and some horrible integrated 4GL devtool call "4D", or "Fourth Dimension". https://www.tomshw.it/data/images/2/0/4/3/infor-advanced-scheduling-19643f201a247ba8ee38058f679d40a5d.jpg https://www.tomshw.it/data/images/2/0/4/3/infor-advanced-sch...