default

details

attribute	current value
name	default
description	no description
owning solver	mathsat-5.5.2-linux-x86_64-Unsat-Core

contents

#!/bin/sh

./mathsat -unsat_core_generation=3 "$1" 2>&1

back to mathsat-5.5.2-linux-x86_64-Unsat-Core