sosy-lab java-smt Ideas · Discussions · GitHub

Add new SMT-Solver OpenSMT2
Ideas baierd

Sort by: Latest activity

Categories

Community guidelines

Ideas Discussions

Share ideas for new features

You must be logged in to vote

User-provided theory solvers in JavaSMT

ThomasHaas started Jun 23, 2023 in Ideas · Closed

4
You must be logged in to vote

Support the SMT solver veriT

baierd started Apr 21, 2023 in Ideas · Closed

1
You must be logged in to vote

Add Ultimate Eliminator as solver independet quantifier elimination option

baierd started Mar 17, 2023 in Ideas

3
You must be logged in to vote

Add a solver-independent SMT2 String parser/composer

baierd started Feb 6, 2023 in Ideas

0
You must be logged in to vote

Add new SMT-Solver OpenSMT2

baierd started Feb 3, 2023 in Ideas

0