Skip to content

Commit 440f1e9

Browse files
authored
Update README.md
1 parent 1d4e54b commit 440f1e9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,9 +22,9 @@ use `cmake -DCMAKE_BUILD_TYPE=Debug ..` for Debug builds (on linux).
2222
Then to build the executable run:
2323
- on Linux -> `cmake --build .`
2424
The binary is located in the following path: `build/CliSAT`
25-
- on Windows -> `cmake --build . -config Release`. The binary is located in the following path: `build/Release/CliSAT.exe`
25+
- on Windows -> `cmake --build . --config Release`. The binary is located in the following path: `build/Release/CliSAT.exe`
2626

27-
For debug mode use `cmake --build . -config Release`. The binary is located in the following path: `build/Debug/CliSAT.exe`
27+
For debug mode use `cmake --build . --config Release`. The binary is located in the following path: `build/Debug/CliSAT.exe`
2828
## Usage
2929
Run CliSAT specifying as the first argument the type of problem to resolve. Currently, CliSAT can solve Maximum Clique Problems and Maximum Independent Set Problems.
3030

0 commit comments

Comments
 (0)