# Julia Constraint Graph and SAT Solver

**URL:** <https://discourse.julialang.org/t/julia-constraint-graph-and-sat-solver/80550>\
**Category:** New to Julia\
**Tags:** question\
**Created:** [May 5, 2022, 3:51pm UTC](https://discourse.julialang.org/t/julia-constraint-graph-and-sat-solver/80550 "2022-05-05T15:51:15Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![patra9](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/patra9/32/35929_2.png) [@patra9](https://discourse.julialang.org/u/patra9)\
**Post date:** [May 5, 2022, 3:51pm UTC](https://discourse.julialang.org/t/julia-constraint-graph-and-sat-solver/80550/1 "2022-05-05T15:51:15Z")

</div>

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.

 ![constraints graph problem definition in Julia](https://global.discourse-cdn.com/julialang/original/3X/6/7/67c862342d3204b20236646d4a4ecf2665488642.png)

---

<div class="post-metadata">

**Author:** ![stevengj](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stevengj/32/71_2.png) [@stevengj](https://discourse.julialang.org/u/stevengj)\
**Post date:** [May 5, 2022, 3:53pm UTC](https://discourse.julialang.org/t/julia-constraint-graph-and-sat-solver/80550/2 "2022-05-05T15:53:29Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![patra9](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/patra9/32/35929_2.png) [@patra9](https://discourse.julialang.org/u/patra9)\
**Post date:** [May 5, 2022, 3:57pm UTC](https://discourse.julialang.org/t/julia-constraint-graph-and-sat-solver/80550/3 "2022-05-05T15:57:21Z")

</div>

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.