search

arnaud-m / cryptator

A constraint-based cryptarithm solver
BSD 3-Clause "New" or "Revised" License
1 stars 0 forks source link

Simplify the heavy table constraints for the addition #136

Closed arnaud-m closed 1 year ago

arnaud-m commented 1 year ago