CArL

MaRDI QIDQ25010swMATHFDO

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