「サイゼリヤで1000円あれば最大何kcal摂れるのか」をSMTソルバー(Z3)で解いてみた。bytanakhabout 1 month agoHaskellZ3SMTabout 1 month ago
How to use Z3 library in Scala with Eclipsebyquentin-maisonneuvealmost 2 years agoJavaScalaEclipseZ3SMTalmost 2 years ago
自動定理証明でソクラテスは死ぬ The Z3 Theorem Proverbysuzukikojiroabout 2 years agoC++定理証明Z3SMTソクラテスは死ぬabout 2 years ago
Z3によるXORを再現するニューラルネットワークの構築bykotauchisunsunover 2 years agoPython機械学習Z3ニューラルネットワークSATover 2 years ago
Z3
Z3