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
6 lines
278 B
Text
6 lines
278 B
Text
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
|
|
package provides efficient Python bindings to picosat on the C level,
|
|
i.e. when importing pycosat, the picosat solver becomes part of the
|
|
Python process itself.
|
|
|
|
WWW: https://github.com/ContinuumIO/pycosat
|