dwavebinarycsp is a library to construct a binary quadratic model from a
constraint satisfaction problem with small constraints over binary variables.