2,128 followers
νZ - An Optimizing SMT Solver https://t.co/RzYrl6ZbTC https://t.co/TT99GAbhTJ Z3の最適化機能の概要紹介。明示的な目的関数と重みつきのソフト制約が混在した多目的の最適化を扱え、辞書式順での最適化やパレートフロンティアの計算に対応。
νZ - An Optimizing SMT Solver https://t.co/RzYrl6ZbTC https://t.co/TT99GAbhTJ Z3の最適化機能の概要紹介。明示的な目的関数と重みつきのソフト制約が混在した多目的の最適化を扱え、辞書式順での最適化やパレートフロンティアの計算に対応。