2019-12-23から1日間の記事一覧

SAT Solver作ってみた

この記事はhttps://adventar.org/calendars/4520の22日目の記事として書かれました。昨日はRisebbitさんのシークエント計算の自動証明を実装してみたでした。 夏休みなんかノリでSAT Solverを作ったんで、大変だったところとか書いておきます。 SATとは? 論…