Tutor/Teacher for help to solve LP problem with column generation (PSAT and condSAT)


I am from python, and I am trying to start with Julia.
I would like to find someone as a teacher for help me with a specific problem of satisfiability called PSAT and CONSAT and code it in Julia using column generation.
After solving the problem I will post here how was the process and the difficulties as example


You might be better off asking specific questions on things you tried and didn’t work.