CArL

swMATH13092MaRDI QIDQ25010FDOQ25010

Author name not available (Why is that?)

Official website: https://github.com/smtrat/carl

Source code repository: https://github.com/smtrat/carl

Cited In (4)

• GiNaCRA
• SMT-RAT
• \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
• Modular strategic SMT solving with \textbf{SMT-RAT}

This page was built for software: CArL