rpo-and-lint

details

attribute	current value
name	rpo-and-lint
description	no description
owning solver	matchbox2014.07.08

contents

#!/bin/bash

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

back to matchbox2014.07.08