起司有時會寫的筆記

z3

閱讀時間約 1 分鐘

微軟開發的SMT求解器
可以找出符合約束的一組解
有z3 python可以用

關係圖譜

反向連結