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)
4 lines
232 B
Text
4 lines
232 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.
|