How to Install and Uninstall sat4j Package on Linux Mint 21.3 (Virginia)
Last updated: November 07,2024
1. Install "sat4j" package
This is a short guide on how to install sat4j on Linux Mint 21.3 (Virginia)
$
sudo apt update
Copied
$
sudo apt install
sat4j
Copied
2. Uninstall "sat4j" package
Please follow the instructions below to uninstall sat4j on Linux Mint 21.3 (Virginia):
$
sudo apt remove
sat4j
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the sat4j package on Linux Mint 21.3 (Virginia)
Package: sat4j
Architecture: all
Version: 2.3.5-0.3
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 687
Depends: default-jre | java7-runtime | java8-runtime | java9-runtime | java10-runtime | java11-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Filename: pool/universe/s/sat4j/sat4j_2.3.5-0.3_all.deb
Size: 561236
MD5sum: 93240b2a8ec5e08de672fdd19a374ca4
SHA1: 1b768dc38feb100848a76796c7ec2686b37202b4
SHA256: 85b05e30df34eda2fc0deff382a85afa6f123a3305f01d099bad02cd3c1c813d
SHA512: 4576f1033cfc6927909db33b4d2aab9b6865708264c4c50f06297bfb010d7af7f3846afd7dd6d7b30c5865ce87fed36518a899be523c800ba07769ec82909399
Homepage: http://www.sat4j.org
Description: Efficient library of SAT solvers in Java
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41
Architecture: all
Version: 2.3.5-0.3
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 687
Depends: default-jre | java7-runtime | java8-runtime | java9-runtime | java10-runtime | java11-runtime, jarwrapper (>= 0.5), libcommons-cli-java
Breaks: eclipse-platform (<= 3.5.2-5)
Filename: pool/universe/s/sat4j/sat4j_2.3.5-0.3_all.deb
Size: 561236
MD5sum: 93240b2a8ec5e08de672fdd19a374ca4
SHA1: 1b768dc38feb100848a76796c7ec2686b37202b4
SHA256: 85b05e30df34eda2fc0deff382a85afa6f123a3305f01d099bad02cd3c1c813d
SHA512: 4576f1033cfc6927909db33b4d2aab9b6865708264c4c50f06297bfb010d7af7f3846afd7dd6d7b30c5865ce87fed36518a899be523c800ba07769ec82909399
Homepage: http://www.sat4j.org
Description: Efficient library of SAT solvers in Java
Description-md5: 57ffc6bb7b4780cfe1d0a28863feef41