1 Release published by 1 person

• Nightly

  published May 7, 2025

2 Issues closed by 1 person

• Unexpected verbose output when sat.cut=true

  #7639 closed May 3, 2025

• Z3 crash on Python exit after creating Lambda expression

  #7638 closed May 3, 2025

3 Issues opened by 3 people

• Simplifying expressions with inequalities

  #7642 opened May 9, 2025

• Potential correctness issue in integer arithmetic optimization

  #7641 opened May 9, 2025

• java.lang.UnsatisfiedLinkError at MacOS with JavaExample.java

  #7640 opened May 8, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• slow example for QF_NRA

  #7636 commented on May 3, 2025 • 0 new comments