diff options
author | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2014-03-03 16:21:03 +0000 |
---|---|---|
committer | Li-Wen Hsu <lwhsu@FreeBSD.org> | 2014-03-03 16:21:03 +0000 |
commit | 3cda882ced87986b961b60922e409ddd4ec0bcba (patch) | |
tree | 4d94bee8da37f9856b292c08c8caca0499dc193c /math/stp/pkg-descr | |
parent | d710874f5d3c8f56360da236018da7d61d6a5928 (diff) | |
download | ports-3cda882ced87986b961b60922e409ddd4ec0bcba.tar.gz ports-3cda882ced87986b961b60922e409ddd4ec0bcba.zip |
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
Notes
Notes:
svn path=/head/; revision=346925
Diffstat (limited to 'math/stp/pkg-descr')
-rw-r--r-- | math/stp/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
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 |