Discussions

• 1 You must be logged in to vote

  🙏

  str.to_code function

  Avgor46 asked Dec 26, 2024 in Q&A · Closed · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  Guarantees about makeVariable

  JohnnyJayJay asked Dec 26, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  User options to CVC5 solver

  enhancement CVC5

  Avgor46 asked Sep 9, 2024 in Q&A · Closed · Answered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙌

  Build Example Application Using JavaSMT

  piyush-1234 started Oct 14, 2023 in Show and tell · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  User-provided theory solvers in JavaSMT

  ThomasHaas started Jun 23, 2023 in Ideas · Closed

  

  

  4
• 1 You must be logged in to vote

  💡

  Support the SMT solver veriT

  baierd started Apr 21, 2023 in Ideas · Closed

  

  

  1
• 2 You must be logged in to vote

  💡

  Add Ultimate Eliminator as solver independet quantifier elimination option

  baierd started Mar 17, 2023 in Ideas

  

  

  3
• 2 You must be logged in to vote

  💡

  Add a solver-independent SMT2 String parser/composer

  baierd started Feb 6, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Add new SMT-Solver OpenSMT2

  baierd started Feb 3, 2023 in Ideas

  

  

  0