CArL

swMATH13092MaRDI QIDQ25010FDOQ25010

Author name not available (Why is that?)

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

Cited In (2)

• SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
• Modular strategic SMT solving with \textbf{SMT-RAT}

This page was built for software: CArL