The Workflow Satisfiability Problem is an important problem in access control. This dataset includes the instances, instance generator and source codes of the solvers used in Daniel Karapetyan, Gregory Gutin, Solving the ...