default

loading
details
attribute current value
name default
description no description
owning solver smtrat-MCSAT
contents
#!/bin/sh

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

back to smtrat-MCSAT