Error loading Parma Polyhedra Library

[Zoe T]

Hi,

Recently I am trying to do something about reward-based properties. But The tool prompted me to Error loading Parma Polyhedra Library.

I use Prism-game 3.1and my java version is 11.

[Dave Parker]

Hi,

The Parma Polyhedra Library (PPL) should only be needed for
multi-objective properties on games (see the link below for details).

http://www.prismmodelchecker.org/games/properties.php

If you need that, the PPL installation is a bit tricky unforunately (and
currently does not work for Windows). There are details here:

http://www.prismmodelchecker.org/games/installation.php

Best wishes,

Dave

> Hi,
> Recently I am trying to do something about /reward/-based properties.

> But The tool prompted me to Error loading Parma Polyhedra Library.
> I use Prism-game 3.1and my java version is 11.
>

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit
> https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Zoe T]

Hi,

I installed the binary version on my Mac shows the above problem. Do I have to compile from source code for this to work?

Best,

Zoe

[Dave Parker]

I currently don't have an x86_64 Mac to test it unfortunately. So, yes,
you could try to compile from source.

Best wishes,

Dave

> https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com> <https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com?utm_medium=email&utm_source=footer <https://groups.google.com/d/msgid/prismmodelchecker/cbaed980-d8aa-4fcd-bac7-b4ccff92d527n%40googlegroups.com?utm_medium=email&utm_source=footer>>.

>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com
> <mailto:prismmodelchec...@googlegroups.com>.
> To view this discussion on the web, visit

> https://groups.google.com/d/msgid/prismmodelchecker/e2b865c8-16bb-45be-a65f-58f8f71f4a74n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/e2b865c8-16bb-45be-a65f-58f8f71f4a74n%40googlegroups.com?utm_medium=email&utm_source=footer>.