Giters
arnaud-m
/
cryptator
A constraint-based cryptarithm solver
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
3
Issues:
84
Forks:
0
arnaud-m/cryptator Issues
[FEATURE] Provide CLI help option
Closed
a year ago
Comments count
1
[FEATURE] Improve and simplify the command line interfaces
Closed
a year ago
Comments count
1
Reduce the verbosity of the github action
Closed
a year ago
[TESTING] Integration of crypt solver
Closed
a year ago
[FEATURE] Add CLI option for passing a partial assignment
Closed
a year ago
Comments count
1
[FEATURE] Allow generation of bignum multiplications
Closed
2 years ago
[FEATURE] The configuration of the license plugin is outdated.
Closed
2 years ago
[FEATURE] Bignum mulitplication
Closed
2 years ago
[QUALITY] Update generation models with bignum multiplications
Closed
2 years ago
Comments count
1
[FEATURE] Integration of the crypt solver
Closed
2 years ago
Reject && at the end of cryptarithms and multiple && side by side
Closed
2 years ago
[QUALITY] Simplify the heavy table constraints
Closed
2 years ago
[DATABASE] Maximize the total/maximum word length
Closed
2 years ago
Comments count
1
[Database] Add multiplications and crosswords
Closed
2 years ago
Comments count
1
[DATABASE] More doubly true cryptarithms
Closed
2 years ago
Comments count
1
[DATABASE] Maximize the number of operands
Closed
2 years ago
Comments count
1
[FEATURE] Configure the search for solving
Closed
2 years ago
Comments count
1
[FEATURE] Configure the search for the generation
Closed
2 years ago
Comments count
1
[QUALITY] Check code coverage and good practices
Closed
2 years ago
[QUALITY] Refactor generation models
Closed
2 years ago
[QUALITY] Update to choco 4.10.11
Closed
2 years ago
Comments count
1
[BUG] Increasing/Decreasing constraint has a bug in Choco 4.10.10
Closed
2 years ago
[FEATURE] Generate multiplications based on a words list
Closed
2 years ago
[BUG] Invalid syntax not detected by the parser.
Closed
2 years ago
Comments count
1
[QUALITY] Add more tests based on crossword puzzles
Closed
2 years ago
Comments count
2
[QUALITY] Update copyrights to 2023
Closed
2 years ago
[BUG] Invalid heavy constraints for card. member
Closed
2 years ago
[QUALITY] Beta version : check code coverage and good practices
Closed
2 years ago
[FEATURE] Define benchmark instances for solving cryptarithms
Closed
2 years ago
[BUG] Invalid inorder export of a cryptarithm
Closed
2 years ago
[QUALITY] Generalize casting out nines
Updated
2 years ago
[BUG] Commands must catch and handle choco exceptions
Closed
2 years ago
[FEATURE] Update to choco 4.10.10
Closed
2 years ago
Comments count
4
[FEATURE] Misleading workflow status badge
Closed
2 years ago
Comments count
3
[FEATURE] Define experimental protocol for the generation phase
Closed
2 years ago
[BUG] Symmetry breaking constraint not posted
Closed
2 years ago
[FEATURE] Refine logging verbosity
Closed
2 years ago
[FEATURE] Logging for performance evaluation of generation
Closed
2 years ago
[FEATURE] Logging for performance evaluation of solving
Closed
2 years ago
[QUALITY] Check code coverage and good practices
Closed
2 years ago
[BUG] Misleading syntax for partial assignment
Closed
2 years ago
Comments count
2
[FEATURE] Allow && for parsing multiple cryptarithms
Closed
2 years ago
[FEATURE] Allow double ticks as number's delimeters
Closed
2 years ago
[FEATURE] Use a constant in the parse tree for minus sign
Closed
2 years ago
[BUG] Remove question marks of constant in graphviz export
Closed
2 years ago
[BUG] The github action does not behave as expected.
Closed
2 years ago
Remove the method getConstant to avoid casts
Closed
2 years ago
Add license headers in scripts
Closed
2 years ago
[FEATURE] Add word lists by theme
Closed
2 years ago
[FEATURE] Generate cryptarithms with countries, regions, and cites
Updated
2 years ago
Previous
Next