Commit 0b1c2070 authored by Bowen Wu's avatar Bowen Wu
Browse files

Update readme on obtaining seeds

parent f93a6986
......@@ -23,6 +23,8 @@ Once the installation is done, install the Cplex python API by
python /cluster/home/<user name>/ibm/ILOG/CPLEX_Studio_Community221/python/setup.py install
```
It is recommended to install your own python 3.8+ from Miniconda or alike.
Try if it works by typing `python -c "import cplex"`. If it prints nothing, it works.
Moving on the Gurobi, Euler has Gurobi installed as modules so we only need to load them and install the python API.
......@@ -49,3 +51,20 @@ Note: you will need to load the Gurobi module every time you log into Euler. To
```bash
module load gurobi/9.5.1
```
## Get Seed Inputs
Fuzzing needs a selected pool of seeds to start with.
We will use the linear programs in <https://miplib.zib.de/tag_benchmark.html>.
To obtain the seeds, navigate to the root directory of the project
```bash
wget https://miplib.zib.de/downloads/benchmark.zip
unzip benchmark.zip -d benchmark/
cd benchmark
find . -type f -name '*.mps.gz' | xargs -I '{}' gzip -d '{}'
rm ../benchmark.zip
```
Now in the `benchmark/` directory, you can see all 240 files in `.mps` format.
Since all inputs add up to over 1GB, it is ignored by git.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment