Unverified Commit 29ac1c38 authored by Merlin's avatar Merlin 💧
Browse files

Include docker in usage example

fixes #9
parent 86f0de51
Pipeline #10869 failed
......@@ -94,9 +94,9 @@ dune build @all
## Usage
To see a longer list of example formulas, just run the testsuite:
```
dune exec cool-testsuite
```
### Coalition Logic
Some formulas are
......@@ -113,7 +113,11 @@ Some formulas are
So call for example:
```bash
./coalg sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
./coalg.exe sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
# or via the static executable
./cool-static sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
# or via docker
echo '<{1 2}> C & [{1 2}] ~C' | docker run -i cs8service/cool:master sat CL
```
## Experimental Results
......
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