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.