default

loading
details
attribute current value
name default
description no description
owning solver Boolector incremental
contents 
#!/bin/sh
./boolector -i -bra --declsort-bv-width=16 $1

back to Boolector incremental