Constraint Satisfaction Problem about rust

[skewballfox]

I'm not entirely sure that I get it. So you want to make sure all the e.g. sudoku solvers accept input in the same format? That's a good idea, I think you might use traits for that.

Please correct me if I'm wrong, but I think he means a more generalized linear solver, you describe the problem as a set of variables and constraints, and the algorithm finds an optimal solution which satisfies those constraints, if it exist.

[github-actions]

This issue has been automatically marked as abandoned because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[siriak]

I'm not entirely sure that I get it. So you want to make sure all the e.g. sudoku solvers accept input in the same format? That's a good idea, I think you might use traits for that.

[github-actions]

This issue has been automatically marked as abandoned because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[siriak]

@MVanderloo, I think you could add it to Math section if it's generalized and make an adapter to transform a Sudoku problem to a generic problem statement

[appgurueu]

Please correct me if I'm wrong, but I think he means a more generalized linear solver, you describe the problem as a set of variables and constraints, and the algorithm finds an optimal solution which satisfies those constraints, if it exist.

I don't think it's necessary about a linear solver but rather about solving boolean satisfiability problems (e.g. Sudoku can be modeled as a SAT problem).

[MVanderloo]

So my experience with this problem is creating a Constraint Satisfaction Problem solver, but yes I believe it can be generalized to Integer Linear Programming.

From my understanding, Linear Programming allows for domains that represent a range of numbers rather than Integer Linear Programming which the domain is a finite set of values. The algorithms I am familiar with solve for domains that are sets rather than ranges.

[github-actions]

This issue has been automatically marked as abandoned because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[github-actions]

Please ping one of the maintainers once you add more information and updates here. If this is not the case and you need some help, feel free to ask for help in our Gitter channel. Thank you for your contributions!