Hi Tygre, you have also tried the version MUIMapparium_NoFPU ?
On MUIMapparium.guide is reported:
"With Vampire (at least until Gold 2.9) you have to use the NoFPU-Version of MUIMapparium. The Vampire FPU is not IEEE75 compatible and therefore does not work with MUIMapparium."
|