svn commit: r507764 - head/math/stp

[Gleb Popov]

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/