diff --git a/README.md b/README.md index a5aa048..f9095d1 100644 --- a/README.md +++ b/README.md @@ -44,6 +44,7 @@ To run typing, you need to set some paths in several files: - Build: ./build.sh - Run typing: ./run.sh heap-size typing.ENTYFI input-file output-file + For example: ./run.sh 10G typing.ENTYFI input-file output-file Other parameters like topK reference universes or topK types returned by ILP can be defined in class typing/ENTYFI.java