no_sift

loading
details
attribute current value
name no_sift
description The configuration does not perform any dynamic BDD reordering
owning solver Q3B
contents 
#!/bin/sh

./q3b --bdd:reorder none $1

back to Q3B