BSD Portsmath/picosat 965 DragonFly
Satisfiability (SAT) solver for boolean variables
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 100.1 KiB, 671.2 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 |
|---|---|---|
| DragonFly | math/picosat | 965 |
| FreeBSD | math/picosat | 965 |
| NetBSD | wip/picosat | 957 |
| HardenedBSD | math/picosat | 965 |
| GhostBSD | math/picosat | 965 |
Install
Binary package:
pkg install picosatFrom DPorts:
cd /usr/dports/math/picosat && make install clean