default

details

attribute	current value
name	default
description	no description
owning solver	SMT-RAT-MCSAT-old-model-syntax

contents

#!/bin/sh

LD_PRELOAD=libmimalloc.so ./smtrat $1 2> "$2"/stderr.txt