picosat - Satisfiability (SAT) solver for boolean variables

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Quarterly i386
Package filename picosat-965.txz
Package name picosat
Package version 965
Package release -
Package architecture i386
Package type txz
Category math
Homepage http://fmv.jku.at/picosat
License MIT
Maintainer koobs@FreeBSD.org
Download size 89.70 KB
Installed size 633.90 KB
PicoSAT is a satisfiability (SAT) solver for boolean variables in
boolean expressions. A SAT solver can determine if it is possible to
find assignments to boolean variables that would make a given set of
expressions true. If it's satisfiable, it can also show a set of
assignments that make the expression true.
Many problems can be broken down into a large SAT problem (perhaps with
thousands of variables), so SAT solvers have a variety of uses.
WWW: http://fmv.jku.at/picosat
- DEBUG: off


Package Version Architecture Repository
picosat-965.txz 965 amd64 FreeBSD Ports Quarterly
picosat-965.txz 965 i386 FreeBSD Ports Latest
picosat-965.txz 965 amd64 FreeBSD Ports Latest
picosat - - -


Name Value
libpicosat.so -


Type URL
Mirror pkg.freebsd.org
Binary Package picosat-965.txz
Source Package math/picosat

Install Howto

Install picosat txz package:

# pkg install picosat

See Also

Package Description
picosha2- C++ header-only SHA256 hash generator
picp-0.6.8.txz Driver for the Microchip Picstart Plus development programmer
picpas-gtk2-0.8.8_5.txz Multi-platform Pascal for Microchip PIC16F microcontrollers
picpas-qt5-0.8.8_5.txz Multi-platform Pascal for Microchip PIC16F microcontrollers
picprog-1.9.1.txz Serial port pic16c84 programmer
picpuz-2.1.1_7.txz Jigsaw puzzle program
pict-3.7.1_1.txz Pairwise Independent Combinatorial Testing tool
pidentd-3.0.19_4.txz RFC1413 identification server
pidgin-2.13.0_2.txz Pidgin multi-protocol messaging client (GTK+ UI)
pidgin-bs-1.3.0_10.txz Pidgin plugin to prevent instant message spam
pidgin-encryption-3.1_5.txz Encryption Plugin for the Pidgin instant messenger client
pidgin-fetion- Fetion protocol plugin for libpurple
pidgin-hotkeys-0.2.4_19.txz Pidgin plugin that allows user to assign global hotkeys
pidgin-icyque-g20190523.txz Pidgin plugin for ICQ/WIM protocol
pidgin-latex-1.0_10.txz Display LaTeX output in your IMs