Domino Benchmark
alcides opened this issue · 0 comments
alcides commented
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).