Information about the package, sat4j, which is shipped with common Linux distributions. The sat4j package is designed for, A library of SAT solvers written in Java.
Package Name:
sat4j
Summary:
A library of SAT solvers written in Java
Description:
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.
Architecture:
noarch
Version:
2.2.0
Release:
4.0.el6
Size:
330 k
Repository:
base
From Repository:
Licence:
EPL or LGPLv2
Control the sat4j package with the following handy commands outlined below.
yum install sat4j
This command will install sat4j on the server.
yum remove sat4j
This command will un-install sat4j on the server. When you run this command, you will be asked if you are sure that you want to remove sat4j, so you have to manually confirm that you want to do this.
yum -y remove sat4j
This command will un-install sat4j on the server. When you run this command with th e -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove sat4j when using the -y flag.
yum update sat4j
This command will update sat4j to the latest version. When you run this command, you will be asked if you are sure that you want to remove sat4j, so you have to manually confirm that you want to do this.
yum -y update sat4j
This command will update sat4j to the latest version. When you run this command with the -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove sat4j when using the -y flag.
yum info sat4j
This command will show you core information about the sat4j package.
yum deplist sat4j
This command will show you the dependencies for sat4j. Thankfully, when using Yum, if dependencies are required, these are also installed at the same time so you don't have to worry too much about that.
yum check-update sat4j
This command will check if there is an update waiting on sat4j. When you run this command this will return nothing if there is nothing to update, or, will return the package name if the package is due to be updated.