When I try to run the following command:
exec java -Xmx20G -Djava.library.path=resnax/lib -cp resnax/jars/resnax.jar:resnax/lib/* -ea resnax.Main 1 "/content/regel/exp/deepregex/benchmark/106" "/content/regel/exp/deepregex/log" "?{concat(<vow>,contain(<any>))}" 1 1 1
I get the following error:
Exception in thread "main" java.lang.UnsatisfiedLinkError: no libz3java in java.library.path: [resnax/lib/]
Even when libz3java.dyliband libz3java.so both exist in the directory this error occurs.
Is this a problem with the Java bindings of Z3 as I am not sure if I installed the Z3 Java bindings correctly?
Tested it on Ubuntu and MacOS.
Run my gist in Colab if you want to reproduce the issue or to see the steps I ran: https://gist.github.com/peppro/8f359f8d156176ee60cba245016da6d3
When I try to run the following command:
I get the following error:
Even when
libz3java.dylibandlibz3java.soboth exist in the directory this error occurs.Is this a problem with the Java bindings of Z3 as I am not sure if I installed the Z3 Java bindings correctly?
Tested it on Ubuntu and MacOS.
Run my gist in Colab if you want to reproduce the issue or to see the steps I ran: https://gist.github.com/peppro/8f359f8d156176ee60cba245016da6d3