はてなブックマーク - GitHub - RKX1209/c3: The C3, SMT/SAT solver written in C.

はてなブックマーク - GitHub - RKX1209/c3: The C3, SMT/SAT solver written in C. https://b.hatena.ne.jp/entry/s/github.com/RKX1209/c3 masterq https://b.hatena.ne.jp/masterq/20171121#bookmark-349858317 C言語で書いてあるとは。。。 2017-11-21T10:56:51Z smt sat solver verify c