I have a complicate formula and I want to see if it is realizable, but I faced this error while compiling the specification:
ERROR: Specification was unsynthesizable (unrealizable/unsatisfiable) for instantaneous actions.
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
Is there any way to increase the heap space or optimize the code?
I have a complicate formula and I want to see if it is realizable, but I faced this error while compiling the specification:
ERROR: Specification was unsynthesizable (unrealizable/unsatisfiable) for instantaneous actions.
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
Is there any way to increase the heap space or optimize the code?