Pono

swMATH41583MaRDI QIDQ1353550FDOQ1353550

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-81688-9_22

Source code repository: https://github.com/upscale-project/pono

Cited In (18)

• Sally
• PeRIPLO
• Bison
• Kind 2
• pytest
• googletest
• Flex
• Yosys
• Booster
• Btor2Tools
• CoSA
• BtorMC
• lazybv2int
• metaSMT
• SBV
• SMT Kit
• Smt-Switch
• Smt-Switch: a solver-agnostic C++ API for SMT solving

This page was built for software: Pono