CSP stabilizer code generation

The implementation for the paper about code generation using a CSP solver.

Usage

Setup a virtual environment and install dependencies with

pip install -r requirements.txt

Then, run

python solver.py

for a small example.