Qiita
Community
Signup
Login
Z3
14
posts
5
followers
Follow
Trend
Like ranking last week
「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。
by
tanakh
311
Haskell
Z3
SMT
Z3