Nunchaku

MaRDI QIDQ1354586swMATHFDO

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
• AFRA
• RADA
• Stern-Brocot Tree
• TRANSIT
• Satisfiability and synthesis modulo oracles
• A decision procedure for (co)datatypes in SMT solvers
• CVC4SY

This page was built for software: Nunchaku