MAX BUDET IS 85 USD
We need to develop a SUDOKU game in prolog by doing the cofication of the positions of the board using CNF (conjunctive normal forms) we need to solve it by modeling it as a SAT problem.
IT MUST BE WRITTEN IN PROLOG.
You just need to edit and complete what you have in [login to view URL] attached
A more detailed explanation can be found in [login to view URL]
4 freelancers are bidding on average $119 for this job
Hi! I'm interesting your project very well. I am mastering c++ and I'm a good Mathematician. And also I have many experience and good skill about SAT algorithm development. Let's go ahead with me