default

loading
details
attribute current value
name default
description no description
owning solver Bitwuzla
contents
#!/bin/sh
./bitwuzla --smt-comp-mode $1

back to Bitwuzla