Category "sat4j"

How do I include the sat4j library in eclipse java IDE?

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