{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40isl-lang/pbt","name":"@isl-lang/pbt","description":"Property-Based Testing for ISL - Generate random inputs satisfying preconditions and verify postconditions","version":"1.0.1","softwareVersion":"1.0.1","license":"https://spdx.org/licenses/MIT","maintainer":[{"@type":"Person","name":"vibecheckai"}],"author":[{"@type":"Person","name":"vibecheckai"}],"copyrightHolder":[{"@type":"Person","name":"vibecheckai"}],"dateCreated":"2026-02-12","dateModified":"2026-02-12","datePublished":"2026-02-12","copyrightYear":2026,"downloadUrl":"https://registry.npmjs.org/@isl-lang/pbt/-/pbt-1.0.1.tgz","applicationCategory":"npm","runtimePlatform":"npm","sameAs":["https://www.npmjs.com/package/@isl-lang/pbt"]}