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)
3 lines
131 B
Plaintext
3 lines
131 B
Plaintext
The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL
|
|
solver, which is also easy to understand and change.
|