Source code and data for the publication:
Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin.  Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints.  To appear in Journal of Artificial Intelligence Research.

Includes:
- Source code of an instance generator for the Workflow Satisfiability Problem with User-Independent Constraints (WSP) (part of the C# tool)
- Parameters of benchmark instances
- Benchmark instances with solutions
- Source code of the Pattern Backtracking Algorithm (PBT) (part of the C# tool)
- Translator of WSP instances into Pseudo-Boolean formulation (part of the C# tool)
- Translator of WSP instances into Constraint Satisfaction Problem formulation (CspRunner.py)