Discussions

• 1 You must be logged in to vote

  💡

  User-provided theory solvers in JavaSMT

  ThomasHaas started Jun 23, 2023 in Ideas

  

  

  3
• 1 You must be logged in to vote

  🙌

  Build Example Application Using JavaSMT

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

  

  

  0
• 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