Crate nekolib_verify

nekolib の verify に関するもの。

そのうちちゃんと作ります。

library-rs では verify をしているのですが、 いまいち運用しやすい形式を確立できていないので、早くなんとかしたいです。

どの問題で何を verify したかとかを見やすい形式で可視化できたらいいよね。 たとえば、次のような形式のドキュメントを生成しやすいように作ってみる？

---

Sample (verifier)

some_algo の verify をします。

Verified by

• ソルバへのリンク 1 (passing/failing)
• ソルバへのリンク 2 (passing/failing)
• ソルバへのリンク 3 (passing/failing)

---

Sample (solver for algo)

some_algo を用いて問題 A を解きます。

Solves

• 問題 A へのリンク

Explanations

解法の概要などが必要であれば書く。

---

Sample (solver for ds)

トレイト T を実装した some_ds を用いて問題 B を解きます。

Solves

• 問題 B へのリンク

Explanations

解法の概要などが必要であれば書く。