Skip to content

ResA212/BQS

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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>.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages