# Installation
## Installation from binaries
Binary distributions for Windows, Mac, and Linux, can be downloaded from [releases](https://github.com/msakai/toysolver/releases) page.
## Installation from Hackage
`cabal install toysolver` or `stack install toysolver`
## Installation from source using `stack`
1. [Install `stack`](https://docs.haskellstack.org/en/stable/README/#how-to-install)
2. `git clone --recursive https://github.com/msakai/toysolver.git`
3. `cd toysolver`
4. `stack install`
## Installation from source using `cabal-install`
1. Install [GHC](https://www.haskell.org/ghc/) and [cabal](https://www.haskell.org/cabal/#install-upgrade) (You can use [ghcup](https://gitlab.haskell.org/haskell/ghcup-hs#installation) for installing them)
2. `git clone --recursive https://github.com/msakai/toysolver.git`
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
```