OCaml
Templates
| Algorithm | Verified | AOJ Problems |
|---|---|---|
| template.ml | Yes | GRL_1_A.ml GRL_6_A.ml ITP1_1_B.ml |
| typeinfo.ml | No |
Graph Algorithms
| Algorithm | Verified | AOJ Problems |
|---|---|---|
| dijkstra.ml | Yes | GRL_1_A.ml |
| max_flow.ml | Yes | GRL_6_A.ml |
| Algorithm | Verified | AOJ Problems |
|---|---|---|
| template.ml | Yes | GRL_1_A.ml GRL_6_A.ml ITP1_1_B.ml |
| typeinfo.ml | No |
| Algorithm | Verified | AOJ Problems |
|---|---|---|
| dijkstra.ml | Yes | GRL_1_A.ml |
| max_flow.ml | Yes | GRL_6_A.ml |