Skip to content

Version 0.1.0: CP-based cryptarithm solver

Compare
Choose a tag to compare
@arnaud-m arnaud-m released this 09 Aug 13:15
· 532 commits to main since this release
19f444c
  • Parser generated by antlr4
  • Postorder Solution Evaluation
  • Solving with Choco Solver
  • Command line interface based on args4j