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
provider
mod-python
angular2-animation
multipeer-connectivity
maui-compat
tss
serve
multiple-makefiles
lighthouse
smallrye-reactive-messaging
tablefooterview
posix-select
blockingqueue
datagrip
opencv3.0
pixmap
escrow
pyarango
shinymanager
ohlcv
autokey
sharedservices
s3-object-tagging
openjfx
survey
sql-delete
uialertcontroller
feathersjs
phimagemanager
ksoap