Issues

• MiniZinc timeouts are incorrectly reported as UNSATISFIABLE

  Crypto-TII/claasp#659 · Filter by author juaninf opened on Oct 14, 2026

• bitstring_from_hex_string needs a fix

  Crypto-TII/claasp#497 · Filter by author juaninf opened on Aug 10, 2026
  1

• OverflowError in evaluate_vectorized when masking uint8 arrays with 0xffff

  Crypto-TII/claasp#396 · Filter by author antonyef opened on Jan 17, 2026
  1

• MiniZinc type error when using 'solve_with_API=True' in XOR linear CP model

  Crypto-TII/claasp#394 · Filter by author davidGG271 opened on Jan 16, 2026
  1

• AttributeError in NISTStatisticalTests.nist_statistical_tests() when running avalanche test

  Crypto-TII/claasp#391 · Filter by author antonyef opened on Jan 15, 2026
  1

• Refactor: Rename fix_variables_value_constraints_for_ARX to fix_variables_value_constraints

  Crypto-TII/claasp#387 · Filter by author juaninf opened on Jan 7, 2026

• Declaration Variables In Minizinc Model

  Crypto-TII/claasp#341 · Filter by author rocbru opened on Jun 12, 2025
  5

• Vectorized evaluator of cipher_partial_inverse is not working

  Crypto-TII/claasp#338 · Filter by author juaninf opened on Jun 2, 2025

• Unnecessary rounds and inputs in partial cipher inverse

  Crypto-TII/claasp#337 · Filter by author juaninf opened on Jun 2, 2025
  2