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
meta-raspberrypi
opennmt
microsoft.ml
tempdir
interstitial
android-agde
asp.net-mvc-ajax
fraud-prevention
raw-disk
css-modules
maskededitextender
environment-modules
agents.jl
google-sites-2016
amazon-acl
python-siphon
executorservice
srp-protocol
pitch-detection
excel-writer-xlsx
stemming
auto-tuning
devexpress-wpf
google-license-manager
ngx-http-limit-req-module
adaptive-bitrate
eraser
daemon
hierarchy
nodejs-server