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
file-manipulation
rust
split-apply-combine
pusher
aws-direct-connect
operand
google-anthos
stack-pointer
chrome-runtime-messaging
nodeenv
function-object
typeof
hocr
blackboard
custom-authentication
missing-template
queue
hc-05
fitnesse-slim
recoiljs
abap
instsrv
register-transfer-level
nsdatecomponentsformatter
ssl
shutter
aliases
iis-manager
dotnet-isolated
key-pair