rel.sh

loading
details
attribute current value
name rel.sh
description no description
owning solver matchbox-2019-03-17
contents
#!/bin/bash

export LD_LIBRARY_PATH=.

./MB.exe -S ./rel.strat +RTS -C -N4 -M100G -K1G -RTS $1 2>/dev/null

back to matchbox-2019-03-17