Nunchaku

swMATH40755MaRDI QIDQ1354586FDOQ1354586

Author name not available (Why is that?)

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

Described by source

• Model Finding for Recursive Functions in SMT

Cited In (3)

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

This page was built for software: Nunchaku