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
swift5.2
percona-xtradb-cluster
j#
flacbox
geom-curve
uinput
nintendo-3ds
vue-test-utils
puppeteer-sharp
carriage-return
iformatprovider
gmisc
groovy++
pdfbox
focusmanager
robustness
qpainter
avs
httplib2
typescript2.4
finite-state-automaton
jclouds
outlook-filter
aabb
extending-classes
dynamic-data
savefig
external-sorting
nemlogin
eloqua