Open alcides opened 3 months ago
The goal of this issue is to implement this benchmark:
https://pedtsr.ca/2024/solving-domino-fit-using-constraint-programming.html
It might be implemented in two approaches: either by considering the constraints as fitness functions, or by encoding it as dependent types (or a mix of both).
The goal of this issue is to implement this benchmark:
https://pedtsr.ca/2024/solving-domino-fit-using-constraint-programming.html
It might be implemented in two approaches: either by considering the constraints as fitness functions, or by encoding it as dependent types (or a mix of both).