default

details

attribute	current value
name	default
description	no description
owning solver	matchbox2014.07.08

contents

#!/bin/bash

LD_LIBRARY_PATH=../lib ./matchbox2014 "$1" +RTS -N4 2>/dev/null

back to matchbox2014.07.08