余談
＞枯れた技術

充足可能性判定のアルゴリズムは古くて新しい技術である
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C