Chenghang Shi

icon indicating a website link https://enochii.github.io icon indicating an email [email protected]

icon company ICT, UCAS icon location Beijing icon location Ph.D. candidate at the Institute of Computing Technology, Chinese Academy of Sciences

Results 2 comments of Chenghang Shi

Is there any API to dump the size of a relation rather than the whole content?

Thanks a lot for the kind reply! I am not so familiar with Datalog. Just curious, I wonder why no such API provided, it seems quite natural from my perspective...

Null pointer exception when running BenchmarkRunner on benchmark `columba-1.4`

Thanks a lot! When it is fixed, please kindly remind me here if it's not too much trouble~