Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
rkaminsk authored Jun 18, 2024
1 parent 9dab481 commit 95f6cce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/clingo/multishot/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Examples

The branch-and-bound example:

$ python opt.py tohE.lp tohI.lp tohB.lp -c n=20
$ python opt.py tohB.lp tohI.lp -c n=20
opt-example version 1.0
Reading from tohE.lp ...
Solving...
Expand Down

0 comments on commit 95f6cce

Please sign in to comment.