0

I've tried so many times to import the sat4j library (https://www.sat4j.org/index.php) into the java IDE eclipse by adding the jar files in the lib folder which came with the download of sat4j library (commons-beanutils.jar, commons-cli.jar, commons-logging.jar...). But somehow I always get the error message Invalid ZIP file for every jar file I tried to include and now I'm wondering if its even possible to include it in eclipse at all..

Msmat
  • 27
  • 4
  • 1
    maybe helpful to know which file and how you are trying to add where - usually `*.jar` files are added to a project in Eclipse... and yes, it is possible to add `sat4j-sat.jar` to an Eclipse project and use it – user16320675 May 12 '22 at 20:47
  • I tried to add the files in the lib folder which came with the download of sat4j library (commons-beanutils.jar, commons-cli.jar, commons-logging.jar...). But I didn't know there was a sat4j-sat.jar file – Msmat May 12 '22 at 21:17
  • 1
    I believe you must download from the 'Precompiled binaries for manual inclusion in Java projects' - seems like you got the source code and the content of `lib` are the libraries used by SAT4J itself – user16320675 May 12 '22 at 21:21
  • aah now I see, yes you are totally right I downloaded the source code. I really didn't know , thank you very much!! – Msmat May 12 '22 at 21:28
  • I found the right jar file and including it worked perfectly now! Thank you! @user16320675 :) – Msmat May 12 '22 at 21:37
  • that's a good idea, I will edit my question – Msmat May 12 '22 at 21:41

0 Answers0