Table of Contents

 2020-08-19
Implementing clause vivification on Splr
vivification part 3
 2020-08-19
Rust製の「SATソルバーで25x25のナンプレが解けるだろうか」
Sudokuシリーズその2, 頑張れSplr
 2020-08-15
RustのClone on Writeについて
std::borrow::cow
 2020-08-14
JaNG version 1.0.2
import from GitHub Gist
 2020-08-07
NixOS on Big Sur
毎年右往左往
 2020-07-31
UNSAT LOG, 2020, Jul.
Vol.1, No.7.
 2020-07-28
Swiftのfallthroughについて
なんてこったい
 2020-07-28
What's new in CryptoMiniSat 5.8.0
another solver of 2020
 2020-07-25
まとめて借用
in Rust
 2020-07-21
What's KISSAT
the latest product by Armin Biere
 2020-07-18
Similarity of Clauses
夏休み実験室
 2020-07-05
Vivification of a CNF formula
as a SAT solver's preprocessor