sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/stp: Update WWW in pkg-descr.

Browse source
This commit is contained in:
Gleb Popov 2019-08-01 09:52:08 +00:00
parent 2a8aa1edda
commit 693b38be2e
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=507764
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/stp/pkg-descr
View file

@ -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 the formula is satisfiable or not. If the input is satisfiable, then it also
generates a variable assignment to satisfy the input formula. 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/