Date: Thu, 1 Aug 2019 09:52:08 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r507764 - head/math/stp Message-ID: <201908010952.x719q8TG074160@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908010952.x719q8TG074160>