smtinterpol

Description:Interpolating SMT-solver computing Craig interpolants for various theories
License: LGPL-3
Homepage:http://ultimate.informatik.uni-freiburg.de/smtinterpol/ https://github.com/ultimate-pa/smtinterpol/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
2.5_p20211018 - + - - - - - - - - - - ~

Also available in: Atom

Thank you!