No main manifest attribute in jSMTLIB.jar #14
Description
After trying to execute Simplify.exe I get
no main manifest attribute, in jSMTLIB-0.9.10.1.jar
So I can't use an adapter interface like in the Tutorial.
{{ message }}
After trying to execute Simplify.exe I get
no main manifest attribute, in jSMTLIB-0.9.10.1.jar
So I can't use an adapter interface like in the Tutorial.