default

loading
details
attribute current value
name default
description no description
owning solver Boolector
contents 
#!/bin/sh

./boolector -uc --fun:preprop --prop:nprops=10000 -nadd 0 --default-cadical $1

back to Boolector