XSat

swMATH26290MaRDI QIDQ38021FDOQ38021

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-41540-6_11

Source code repository: https://github.com/zhoulaifu/xsat

Cited In (7)

• TopDeg
• raSAT
• SONOLAR
• UppSAT
• Exploring approximations for floating-point arithmetic using UppSAT
• JaCoCo
• Machine learning steered symbolic execution framework for complex software code

This page was built for software: XSat