mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-23 00:43:28 +00:00
19094cd53d
- Remove from devel/Makefile - Add to math/Makefile - Update CATEGORIES for both ports - Add MOVED entries While I'm here, sort MOVED entries causing MOVEDlint.awk error [1] after r365599 [2] [1] 6470: date going backwards from 2014-08-20 to 2014-08-15 [2] https://svnweb.freebsd.org/changeset/ports/365599 Suggested by: vsevolod
11 lines
481 B
Plaintext
11 lines
481 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.
|
|
|
|
WWW: http://fmv.jku.at/picosat
|