SBSAT is a software package used primarily for solving instances of a generalization of the well-known Satisﬁability problem.

WWW: http://gauss.ececs.uc.edu/franco_files/sbsat.html
