From c4914a0649090b4784b72909eab53ea01e20a93e Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 3 Aug 2017 17:38:44 +0200 Subject: First shot at spprinter's Makefile + README update --- README.md | 3 --- 1 file changed, 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index dd20a1d..2479f31 100644 --- a/README.md +++ b/README.md @@ -31,9 +31,6 @@ format (none available yet). ### How to Use 1. Clone the repository. -2. Head to the ``instr-to-kodkod`` folder. 3. Use ``make run`` to automatically fetch missing jars, compile everything and launch the current configuration (which is found in the ``Makefile``). The use of parallel processing is recommended (e.g. ``make run -j14``). -4. Go into the ``data/predicate/`` folder (from the project's root directory). -``.pro`` files are property files, ``.sol`` (solution) files are the results. -- cgit v1.2.3-70-g09d2