tee() splits a stream into two branches. It seems straightforward, but the implementation requires buffering: if one branch is read faster than the other, the data must be held somewhere until the slower branch catches up.
cnfgen -q randkcnf 4 $VARIABLES $CLAUSES
，详情可参考爱思助手下载最新版本
The OpenStreetMap Foundation (OSMF) osmfoundation.org🇬🇧
Read the full story at The Verge.