Discussions

• 1 You must be logged in to vote

  💡

  Library Ergonomics

  toolCHAINZ started Aug 4, 2025 in Ideas

  

  

  19
• 1 You must be logged in to vote

  🙏

  Missing reference to Z3_mk_re_diff, but only on linux and only when testing code coverage

  bug Something isn't working question Further information is requested

  daemontus asked Aug 8, 2025 in Q&A · Answered

  

  

  

  

  11
• 1 You must be logged in to vote

  🙏

  Nondeterministic SMT-LIB Output

  question Further information is requested

  miladrabi asked Jul 22, 2025 in Q&A · Answered

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Z3 Rust Guide

  mehrad31415 started Jul 25, 2025 in General

  

  

  1
• 3 You must be logged in to vote

  📣

  Welcome to z3.rs Discussions!

  toolCHAINZ announced Jul 16, 2025 in Announcements

  

  

  

  

  10
• 1 You must be logged in to vote

  🙏

  Parallel Solving

  lolpro11 asked May 16, 2025 in Q&A · Answered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  About arrays equal

  question Further information is requested

  carbonium14 asked Apr 1, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  About solver speed

  carbonium14 asked Nov 27, 2023 in Q&A · Unanswered

  

  

  2