1 Release published by 1 person

• Nightly

  published Mar 30, 2025

3 Pull requests merged by 1 person

• Note that Z3_get_numeral_small is essentially redundant

  #7599 merged Mar 29, 2025

• Add Z3_get_array_arity

  #7598 merged Mar 28, 2025

• Remove vestiges of old ml api

  #7597 merged Mar 27, 2025

1 Issue closed by 0 people

• [Question] Is it possible to add randomness to generated solutions?

  #7594 closed Mar 25, 2025

2 Issues opened by 2 people

• Too slow for string comarsion and z3str3 produces incorrect result.

  #7601 opened Mar 31, 2025

• Unexpected behavior of z3 in parallel mode

  #7596 opened Mar 26, 2025