Nunchaku

swMATH40755MaRDI QIDQ1354586FDOQ1354586

Author name not available (Why is that?)

Official website: https://nunchaku-inria.github.io/nunchaku/

Source code repository: https://github.com/nunchaku-inria/nunchaku

Described by source

• Model finding for recursive functions in SMT

Cited In (8)

• Alloy*: a general-purpose higher-order relational constraint solver
• CVC4SY
• Satisfiability and synthesis modulo oracles
• AFRA
• RADA
• Stern-Brocot Tree
• TRANSIT
• A decision procedure for (co)datatypes in SMT solvers

This page was built for software: Nunchaku