default

details

attribute	current value
name	default
description	no description
owning solver	Minkeyrink solver MT

contents

#!/bin/bash
./minkeyrink-2019.0.3  --threads $(nproc) --SMTLIB2 "$1"

back to Minkeyrink solver MT