default

loading
details
attribute current value
name default
description no description
owning solver Boolector non-incremental
contents
#!/bin/sh
./boolector --default-cadical $1

back to Boolector non-incremental