Problem while running prism

[ALPHY GEORGE]

Hello, 

I tried installing prism on ubuntu. But i am keep getting the error 

./prism
Error: Could not find or load main class prism.PrismCL
Caused by: java.lang.ClassNotFoundException: prism.PrismCL

How to resolve this?

[Dave Parker]

Hi,

If you installed a binary, did you definitely run ./install.sh?

If you compiled from source, were there any errors before the end?

Best wishes,

Dave

> --
> 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/0da16e7c-0d03-42f7-ae42-996c5aad4141n%40googlegroups.com <https://groups.google.com/d/msgid/prismmodelchecker/0da16e7c-0d03-42f7-ae42-996c5aad4141n%40googlegroups.com?utm_medium=email&utm_source=footer>.