BSD Portsmath/picosat 965 FreeBSD
Satisfiability (SAT) solver for boolean variables
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- MIT
- Categories
- math
- Package size
- 110.6 KiB, 696.4 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/picosat | 965 |
| DragonFly | math/picosat | 965 |
Install
Binary package:
pkg install picosatFrom the ports tree:
cd /usr/ports/math/picosat/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= picosat>0:math/picosat
LIB_DEPENDS= libpicosat.so:math/picosatPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 965 | 965 | 965 | 965 | 965 |
| FreeBSD:14:quarterly | 965 | 965 | n/a | 965 | 965 |
| FreeBSD:15:latest | 965 | 965 | n/a | 965 | 965 |
| FreeBSD:15:quarterly | 965 | 965 | n/a | n/a | n/a |
| FreeBSD:16:latest | 965 | 965 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Required by 2
Configuration
Options name: math_picosat
| Option | Default | Description |
|---|---|---|
| DEBUG | off | Build with debugging support |
- Service scripts
- none
Files
pkg-plist 7
- bin/picogcnf
- bin/picomcs
- bin/picomus
- bin/picosat
- include/picosat.h
- lib/libpicosat.a
- lib/libpicosat.so
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| picosat-965.tar.gz | 64386 | 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 |
Master sites 1
- http://fmv.jku.at/picosat/
Commit history 0
No commits in the history this site was built from.