Home

Jump to bottom

Xiaolong Cao edited this page Feb 26, 2021 · 16 revisions

Welcome to the PrecisionProDB wiki!

Refer the README.md file for simple instructions.

Detail explanations can be found here.

Running PrecisonProDB with different example files

check the README.md files in the example folder. https://github.com/ATPs/PrecisionProDB/tree/master/examples

PrecisonProDB