search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
694 stars 123 forks source link

Running Alloy in IntelliJ: java.lang.NoClassDefFoundError: org/sat4j/specs #188

Closed RuomeiYan closed 1 year ago

RuomeiYan commented 1 year ago

Dear Alloy team,

I am trying to get Alloy repo running in IntelliJ to use features such as the debugger, however after cloning the repo and following all the instructions for setting up in IntelliJ, I encountered the error below: Unknown exception occurred: java.lang.NoClassDefFoundError: org/sat4j/specs/ContradictionException

This happens whenever it tries to execute a command. I understand this should be a problem with setting up IDE, but I've been stuck on this for several days now. The Gradle build and running jar to get the GUI have been working fine for me, just cannot get it working in IntelliJ. Do I need to pre-install sat4j?

Any insights would be highly appreciated! Thank you!

Stack trace:

image

Sincerely, Ruomei Yan

pkriens commented 1 year ago

I am not sure what you're trying to do here? What instructions are you following here?