CoSA

MaRDI QIDQ1353436swMATHFDO

Official website https://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/papers/paper10.pdf

Source code repository https://github.com/cristian-mattarei/CoSA

Cited in

(5)

• JKind
• Kind 2
• Yosys
• Sally
• Btor2Tools

This page was built for software: CoSA