From 3cda882ced87986b961b60922e409ddd4ec0bcba Mon Sep 17 00:00:00 2001 From: Li-Wen Hsu Date: Mon, 3 Mar 2014 16:21:03 +0000 Subject: - Update to revision 1436 PR: ports/186512 Submitted by: arrowdodger <6yearold@gmail.com> (maintainer) --- math/stp/pkg-descr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'math/stp/pkg-descr') diff --git a/math/stp/pkg-descr b/math/stp/pkg-descr index b8fcb3c687cb..43995f11f06f 100644 --- a/math/stp/pkg-descr +++ b/math/stp/pkg-descr @@ -11,4 +11,4 @@ and the output of STP is a single bit of information that indicates whether 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: http://people.csail.mit.edu/vganesh/STP_files/stp.html -- cgit v1.2.3