Built upon DSET.

Running BQS (BQNP solver)

BQS.exe <input-qnp-file> <output-file>

The <input-qnp-file> should follow the QNP format that used by qnp2fond and the policy will be wrote to <output-file>.