Skip to content

Commit

Permalink
fixed small writing typos
Browse files Browse the repository at this point in the history
  • Loading branch information
@jfrchicanog
jfrchicanog committed Jul 13, 2019
1 parent ed3ba0d commit b45353a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ java -jar <jarfile name> drils -problem maxsat -crossover none -Pn=40 -Ppseed=<m

where `<m>` is the number of clauses. The previous command can be repeated 100 times to generate the 100 independent runts. Use the `-aseed` option to establish the algorithm random seed.

* For maxcut MAX-SAt instances
* For maxcut instances

```
java -jar <jarfile name> drils -problem maxsat -crossover none -Pinstances=<instance> -time 60 -r 1 -mf 0.05 -lon -improvingLo
Expand Down

0 comments on commit b45353a

Please sign in to comment.