mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
9 lines
449 B
Plaintext
9 lines
449 B
Plaintext
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.
|