Information about the package, picosat-libs, which is shipped with common Linux distributions. The picosat-libs package is designed for, A SAT solver library.
Package Name:
picosat-libs
Summary:
A SAT solver library
Description:
The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.
Architecture:
x86_64
Version:
960
Release:
2.el6
Size:
58 k
Repository:
epel
From Repository:
Licence:
MIT
Control the picosat-libs package with the following handy commands outlined below.
yum install picosat-libs
This command will install picosat-libs on the server.
yum remove picosat-libs
This command will un-install picosat-libs on the server. When you run this command, you will be asked if you are sure that you want to remove picosat-libs, so you have to manually confirm that you want to do this.
yum -y remove picosat-libs
This command will un-install picosat-libs 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 picosat-libs when using the -y flag.
yum update picosat-libs
This command will update picosat-libs to the latest version. When you run this command, you will be asked if you are sure that you want to remove picosat-libs, so you have to manually confirm that you want to do this.
yum -y update picosat-libs
This command will update picosat-libs 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 picosat-libs when using the -y flag.
yum info picosat-libs
This command will show you core information about the picosat-libs package.
yum deplist picosat-libs
This command will show you the dependencies for picosat-libs. 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 picosat-libs
This command will check if there is an update waiting on picosat-libs. 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.