This is my blog made with Zola. test
- UNSAT LOG, 2020, Feb.
- What's the difference between EVSIDS and LR?
- Building Emacs27.nix on MacOS
- rustc-1.41.1 on nixOS
- JaNG version 1.0.2
- UNSAT LOG, 2020, May.
- 井上ひさし、四千万歩の男
- What's 's-l'?
- LubyStabilization
- UNSAT LOG, 2020, Jan.
- Don't use add-to-list in Emacs
- How to compile cargo-instruments
- UNSAT LOG, 2020, Oct.
- What's new in CryptoMiniSat 5.8.0
- What's Miracle Sudoku?
- What's KISSAT
- Swiftのfallthroughについて
- Liveness of nix-store created by 'nix-build'
- File renaming in dired mode on GNU Emacs
- UNSAT LOG, 2020, Jul.
- Implementing clause vivification on Splr
- pre.commit hook for Rust project
- Importance of modern techniques in SAT solvers
- Function name as a 1-argumented closure
- Rust製の「SATソルバーで25x25のナンプレが解けるだろうか」
- Clause Vivification updated 2020
- A visualization tool to analyze logic fomula
- JSONファイルをドラッグ&ドロップする
- Passing args to StructOpt
- まとめて借用
- A Weird Rust Compile Error
- UNSAT LOG, 2020, Aug.
- SATソルバのベンチマークについて
- NixOS on Big Sur
- New technologies for SAT solvers
- Duplicate Learnt Clauses
- UNSAT LOG, 2020, Nov.
- Rust製のSATソルバーで64x64のSudokuが解けるだろうか
- UNSAT LOG, 2020, Jun.
- UNSAT LOG, 2020, Apr.
- Similarity of Clauses
- UNSAT LOG, 2020, Sep.
- Profile Guided Optimization on Rust
- RustのClone on Writeについて
- LR needs something to explore the world
- Zoomについて
- UNSAT LOG, 2020, Mar.
- Vivification of a CNF formula
- Clap-3.0.0-beta.1