precondition
From MaRDI portal
Software:60895
CRANpreconditionMaRDI QIDQ60895FDOQ60895
Lightweight Precondition, Postcondition, and Sanity Checks
Last update: 28 March 2023
Copyright license: MIT license, File License
Software version identifier: 0.1.0
This page was built for software: precondition
