Unverified Commit 368910f9 authored by Merlin's avatar Merlin 💧
Browse files

Clarify docker registry

parent 5aaf9de0
Pipeline #11002 passed with stages
in 4 minutes and 35 seconds
......@@ -12,7 +12,7 @@ COOL is a generic reasoner for modal, hybrid and fixpoint logics, developed join
Visit the [release page](https://git8.cs.fau.de/software/cool/-/releases) to get released versions of COOL.
We provide multiple options to get your hands on an up to date COOL executables:
- Docker images unter `cs8service/cool` tagged with the branch they were published from i.e. `cs8service/cool:master` would give you the latest release candidate of COOL.
- Docker images on Dockerhub as `cs8service/cool` tagged with the branch they were published from i.e. `cs8service/cool:master` would give you the latest release candidate of COOL.
You could e.g. use it to check coalition logic formulas `echo '<{1 2}> C & [{1 2}] ~C' | docker run -i cs8service/cool:master sat CL`
- A prebuilt static binary of the latest release candidate is available as [`cool-static`](https://git8.cs.fau.de/software/cool/-/jobs/artifacts/master/file/cool-static?job=nix-build).
Run it e.g. `coalg sat CL <<< '<{1 2}> C & [{1 2}] ~C'`
......
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