SMT Kit

swMATH41587MaRDI QIDQ1353544FDOQ1353544

Author name not available (Why is that?)

Official website: http://ahorn.github.io/smt-kit/

Source code repository: https://github.com/ahorn/smt-kit

Cited In (7)

• Bison
• Flex
• lazybv2int
• metaSMT
• SBV
• Smt-Switch
• Smt-Switch: a solver-agnostic C++ API for SMT solving

This page was built for software: SMT Kit