A Refinement Checker based on CSP. Contribute to hatsugai/SyncStitch development by creating an account on GitHub.