I would strongly recommend using minizinc ( https://www.minizinc.org/ https://www.minizinc.org/ ) or Essence ( https://conjure.readthedocs.io/en/latest/essence.

I would strongly recommend using minizinc ( https://www.minizinc.org/ https://www.minizinc.org/ ) or Essence ( https://conjure.readthedocs.io/en/latest/essence.html https://conjure.readthedocs.io/en/latest/essence.html ) (other systems exist too), which provide higher-level interfaces to SAT (and other system) solving. You can view these as compilers to SAT, much like "no-one writes in assembler", most people don't write raw SAT either :)