Features of bbSAT...

...or why should I use bbSAT, because there are some solutions around already?

bbSAT