Jo Devriendt

Hey all Just bumped into this issue when trying to use ANTLR to parse to Boost multiprecision integers: ``` In file included from /usr/include/boost/multiprecision/cpp_int.hpp:12, from /home/jod/workspace/exact-dev/src/manyworlds/ManyWorlds.hpp:23, from /home/jod/workspace/exact-dev/src/manyworlds/Expression.hpp:71, from /home/jod/workspace/exact-dev/src/manyworlds/parser/Parser.cpp:22:...

> @JoD interesting that EOF was automatically added even if it's not in the grammar... Can you post the grammar? Often people get around things by the order of includes....

Got the same issue on a fresh Ubuntu 24.04 install. No idea how to fix it (can't find `llvm.spec` or `LLVMgold.so`. Any idea for a workaround here?

The ideal case would be to have these "indicators" in fitting data structures, but I can imagine this breaks a bit too much of the row-column view of the problem...

What do you mean with ``` Except for the case x+y+z==c the CoinUtils version would be an approximation to the correct version. ``` ?

> Indicators don't seem to work like that - the implicit big M should be calculated at all stages of code. Is this for the continuous case? If all variables...

Yes, just remove the line above (135 in Rulecontext.h) as it does nothing different from the virtual method it reimplements.