|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
957
25 Aug 2014 11:10:03
   |
koobs  |
Move picosat and py-pycosat from devel -> math
- 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 |
957
23 Aug 2014 06:30:30
|
koobs |
devel/picosat: Satisfiability (SAT) solver for boolean variables
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 |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.
