Julia Constraint Graph and SAT Solver

Hello everyone. I am quite new to Julia, but I have a python background. I need help with modeling a Constraint Graph. I Read articles on defining the CNF from, but I do not understand how to define it from the question. Let alone, create a SAT solver for it. If anyone can reach out to help, I would be really grateful.

Have you tried googling “constraint satisfaction julia” or “sat solver julia”? Both of these turn up a number of highly relevant links.

1 Like

Yup. I was hoping someone here went through the same problem already and could share ideas on how to go about it the right way. I’m new to AI all together so all the info is kind of overwhelming.