この記事はhttps://adventar.org/calendars/4520の22日目の記事として書かれました。昨日はRisebbitさんのシークエント計算の自動証明を実装してみたでした。 夏休みなんかノリでSAT Solverを作ったんで、大変だったところとか書いておきます。 SATとは? 論…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。