add Docker image

msakai · Feb 11, 2021 · ddeac96 · ddeac96
1 parent fc10d24
commit ddeac96
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -44,6 +44,16 @@ Binary distributions for Windows, Mac, and Linux, can be downloaded from [releas
 3. `cd toysolver`
 4. `cabal install`
 
+### Docker image
+
+The Docker images can be found at [dockerhub](https://hub.docker.com/repository/docker/msakai/toysolver).
+
+To run `toysat` using Docker for solving `samples/pbs/normalized-j3025_1-sat.opb`:
+
+```
+docker run -it --rm -v `pwd`:/data msakai/toysolver toysat samples/pbs/normalized-j3025_1-sat.opb`
+```
+
 Usage
 -----
 

diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -0,0 +1,4 @@
+FROM haskell:8.10.2
+RUN cabal update && cabal install toysolver --flags="BuildToyFMF BuildSamplePrograms BuildMiscPrograms"
+WORKDIR /data
+CMD ["bash"]