- assignment: Array of booleans. If the formula is satisfiable provide an assignment for each variable from 1 to N. If the formula is not satisfiable this field is null.
优点：计算简单，导数恒为1（正区间），缓解梯度消失。关于这个话题，WPS下载最新地址提供了深入分析
Doug Wardlow, the lawyer representing Cities Church, celebrated the news of additional arrests, saying it "sends a clear message: houses of worship are off limits for those who would use chaos and intimidation to advance a political agenda".，这一点在51吃瓜中也有详细论述
- satisfiable: Boolean. True if the formula is satisfiable