search

arnaud-m / cryptator

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

Add new heavy table constraints for the addition #131

Closed arnaud-m closed 1 year ago

arnaud-m commented 1 year ago