CC @[email protected]
#DrFill works by converting a crossword to a weighted csp, attempting to maximize the #probability that fill is correct
how good a z3 smt solver can be for this?
crossword with palindromes
In #automatatheory, eg a set of all palindromes in a given alphabet

Blog: #BitByteWords #DrFill Vs. The Mighty Crosswords Masters https://bit.ly/3aH8Sph

#DrFill works by converting a crossword to a weighted constraint satisfaction problem and then attempting to maximize the #probability that the fill is correct
But really, how good a z3 smt solver can be for this?
Given my previous tweet #crossword

#DrFill works by converting a crossword to a weighted constraint satisfaction problem and then attempting to maximize the #probability that the fill is correct
But really, how good a z3 smt solver can be for this?
Given my previous tweet #crossword