How to Install and Uninstall minisat Package on Kali Linux
Last updated: December 23,2024
1. Install "minisat" package
Learn how to install minisat on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
minisat
Copied
2. Uninstall "minisat" package
Please follow the guidelines below to uninstall minisat on Kali Linux:
$
sudo apt remove
minisat
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the minisat package on Kali Linux
Package: minisat
Source: minisat2 (1:2.2.1-5)
Version: 1:2.2.1-5+b3
Installed-Size: 405
Maintainer: Michael Tautschnig
Architecture: amd64
Replaces: minisat2 (<< 1:2.2.1-1)
Provides: minisat2
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Conflicts: minisat2 (<< 1:2.2.1-1)
Size: 84904
SHA256: aaa8f62db0c9f80492f9da4bc06c3e8829fdb84692590750b9124d9a85c92ff0
SHA1: 14917c7f921cf64a4615ac93fe00cb99349499d3
MD5sum: a1a06e1c37a39b222b8dd2501c7558e0
Description: Fast and lightweight SAT solver
Despite the NP completeness of the satisfiability problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. Winning all the
industrial categories of the SAT 2005 competition, MiniSat is a good starting
point both for future research in SAT, and for applications using SAT.
Description-md5:
Homepage: http://minisat.se/
Tag: field::mathematics, implemented-in::c++, implemented-in::java,
role::program
Section: science
Priority: extra
Filename: pool/main/m/minisat2/minisat_2.2.1-5+b3_amd64.deb
Source: minisat2 (1:2.2.1-5)
Version: 1:2.2.1-5+b3
Installed-Size: 405
Maintainer: Michael Tautschnig
Architecture: amd64
Replaces: minisat2 (<< 1:2.2.1-1)
Provides: minisat2
Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Conflicts: minisat2 (<< 1:2.2.1-1)
Size: 84904
SHA256: aaa8f62db0c9f80492f9da4bc06c3e8829fdb84692590750b9124d9a85c92ff0
SHA1: 14917c7f921cf64a4615ac93fe00cb99349499d3
MD5sum: a1a06e1c37a39b222b8dd2501c7558e0
Description: Fast and lightweight SAT solver
Despite the NP completeness of the satisfiability problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT. Winning all the
industrial categories of the SAT 2005 competition, MiniSat is a good starting
point both for future research in SAT, and for applications using SAT.
Description-md5:
Homepage: http://minisat.se/
Tag: field::mathematics, implemented-in::c++, implemented-in::java,
role::program
Section: science
Priority: extra
Filename: pool/main/m/minisat2/minisat_2.2.1-5+b3_amd64.deb