Skip to content

Commit

Permalink
update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
Alexander Steen committed Jan 28, 2022
1 parent 5e1da45 commit dae9ca7
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,9 @@ Currently, only modal logics are supported:
More logics will be added soon.

## Usage
An executable JAR file is distributed with the most current release.


```
usage: embedproblem [-l <logic>] [-p <parameter>] [-s <spec>=<value>] [--tstp] <problem file> [<output file>]
Expand Down

0 comments on commit dae9ca7

Please sign in to comment.