Sign inSign up

xgillard/muser2

By xgillard

•Updated over 8 years ago

Anton Belov's MUSer2 tool prepackaged in a docker container

Image
0

834

xgillard/muser2 repository overview

Example Usage:

docker run \
             -v /Users/user/Documents/EXPERIMENTS/CNF_instances/Toyz/:/toyz  \
              xgillard/muser2 \
             /muser2/src/tools/muser2/muser2 -comp /toyz/029.cnf

Tag summary

Content type

Image

Digest

Size

190 MB

Last updated

over 8 years ago

docker pull xgillard/muser2