⚔️ A solver for programs with XOR constraints. - View it on GitHub