How many #Prolog programmers does it take to change a lightbulb?
no
How many SMT solver programmers does it take to change a lightbulb?
unknown
@niconiconi How many passenger jets does it take to change a lightbulb?
https://zh.wikipedia.org/zh-cn/%E6%9D%B1%E6%96%B9%E8%88%AA%E7%A9%BA401%E8%99%9F%E7%8F%AD%E6%A9%9F%E7%A9%BA%E9%9B%A3
ｃｙｂｒｅｓｐａｃｅ: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!
How many SMT solver programmers does it take to change a lightbulb?
unknown