a hexastore in C++ using leveldb