svn commit: r507764 - head/math/stp
Gleb Popov
arrowd at FreeBSD.org
Thu Aug 1 09:52:08 UTC 2019
Author: arrowd
Date: Thu Aug 1 09:52:08 2019
New Revision: 507764
URL: https://svnweb.freebsd.org/changeset/ports/507764
Log:
math/stp: Update WWW in pkg-descr.
Modified:
head/math/stp/pkg-descr
Modified: head/math/stp/pkg-descr
==============================================================================
--- head/math/stp/pkg-descr Thu Aug 1 09:26:53 2019 (r507763)
+++ head/math/stp/pkg-descr Thu Aug 1 09:52:08 2019 (r507764)
@@ -11,4 +11,4 @@ and the output of STP is a single bit of information t
the formula is satisfiable or not. If the input is satisfiable, then it also
generates a variable assignment to satisfy the input formula.
-WWW: http://people.csail.mit.edu/vganesh/STP_files/stp.html
+WWW: https://stp.github.io/
More information about the svn-ports-head
mailing list