Skip to content

Latest commit

 

History

History
33 lines (21 loc) · 1.15 KB

INSTALL.md

File metadata and controls

33 lines (21 loc) · 1.15 KB

Installation

Installation from binaries

Binary distributions for Windows, Mac, and Linux, can be downloaded from releases page.

Installation from Hackage

cabal install toysolver or stack install toysolver

Installation from source using stack

  1. Install stack
  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 and cabal (You can use ghcup 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.

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