arnaud-m / cryptator

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

[QUALITY] Update generation models with bignum multiplications #140

Closed arnaud-m closed 1 year ago

arnaud-m commented 1 year ago

Is your feature request related to a problem? Please describe. The generation models are restricted to multiplications in simple precision.

Describe the solution you'd like These constraints must be deleted or optional.

arnaud-m commented 1 year ago