Information about the package, picosat, which is shipped with common Linux distributions. The picosat package is designed for, A SAT solver.
Package Name:
picosat
Summary:
A SAT solver
Description:
PicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.
Architecture:
x86_64
Version:
960
Release:
2.el6
Size:
28 k
Repository:
epel
From Repository:
Licence:
MIT
Control the picosat package with the following handy commands outlined below.
yum install picosat
This command will install picosat on the server.
yum remove picosat
This command will un-install picosat on the server. When you run this command, you will be asked if you are sure that you want to remove picosat, so you have to manually confirm that you want to do this.
yum -y remove picosat
This command will un-install picosat 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 when using the -y flag.
yum update picosat
This command will update picosat to the latest version. When you run this command, you will be asked if you are sure that you want to remove picosat, so you have to manually confirm that you want to do this.
yum -y update picosat
This command will update picosat 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 when using the -y flag.
yum info picosat
This command will show you core information about the picosat package.
yum deplist picosat
This command will show you the dependencies for picosat. 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
This command will check if there is an update waiting on picosat. 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.