Nunchaku
From MaRDI portal
Software:1354586
No author found.
Source code repository: https://github.com/nunchaku-inria/nunchaku
Related Items (3)
A decision procedure for (co)datatypes in SMT solvers ⋮ Satisfiability and synthesis modulo oracles ⋮ Alloy*: a general-purpose higher-order relational constraint solver
This page was built for software: Nunchaku
