GitHub repository: potassco/xorro
Primary language: Python
Created: 2018-05-02T17:48:06Z
Description: ⚔️ A solver for programs with XOR constraints.