Commit 0a13c688 authored by Jonathan Shahen's avatar Jonathan Shahen
Browse files

small visual edit to README

parent a032d5f8
......@@ -11,8 +11,7 @@ The following needs to be installed in order for Vagabond needs to be installed:
* `opl1261.dll` or `` (must be on your LD_LIBRARY_PATH)
* This is required for running the ILP solver
* Can be found when installing CPLEX Studio 12.61
* Mine is set to `LD_LIBRARY_PATH=C:\Program Files\IBM\ILOG\CPLEX_Studio1261\opl\bin\x64_win64`\
(in environment variables on windows 10)
* Mine is set to `LD_LIBRARY_PATH=C:\Program Files\IBM\ILOG\CPLEX_Studio1261\opl\bin\x64_win64` -- (in environment variables on windows 10)
* circuit.jar (within the lib folder and included into the build within eclipse)
* This is required for running the CNF-SAT solver (converts Circuit SAt into CNF-SAT)
......@@ -50,13 +49,10 @@ Later in this document we explain how to run custom tests.
1. Below the common commands is the `Commandline Argument` input, this is where you can write your commands
1. You can write as many commands as you want, as many new lines, the program waits until it reads "!e" to send the command to Vagabond
1. A simple command to try is:
-loglevel verbose -settings tests/ !e
1. This is what the output should look like:
-loglevel verbose -settings tests/ !e
1. To see some sample output, check out the end of this README file
Settings File
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