zaki-joho

Tokyo, Japan

Pinned Repositories

digraphillion
Fast, lightweight *directed* graphset operation library
Language:C++10
graphillion
Fast, lightweight graphset operation library
Language:C++462 23 4340
assembler
計算機科学実験及び演習3向け
Language:C++1 0 00
ProconLibrary
ｷｮｳﾌﾟﾛ
Language:C++2 0 151
ProLangTest
OCaml 完全に理解
Language:OCaml32

zaki-joho's Repositories

zaki-joho/ProLangTest
OCaml 完全に理解
Language:OCaml32
zaki-joho/ProconLibrary
ｷｮｳﾌﾟﾛ
Language:C++2 0 151
zaki-joho/assembler
計算機科学実験及び演習3向け
Language:C++1 0 00
zaki-joho/frontier_basic_tdzdd
An example implementation of the frontier-based search using TdZdd.
Language:C++0 0
zaki-joho/graphillion
Fast, lightweight graphset operation library
Language:C++
zaki-joho/zaki-joho
my profile
1 0