pycapnp
python-sat
