name: Boogie.Houdini
description: Package Description
license_spdx: MIT
version: 3.0.12
spec_version: 1.0
download_url: https://www.nuget.org/api/v2/package/Boogie.Houdini/3.0.12
home_url: http://research.microsoft.com/en-us/projects/boogie/
news_url: https://libraries.io/nuget/Boogie.Houdini/versions.atom
date: 2024-02-19
about_resource: NONE
libraries_io_url: https://libraries.io/nuget/Boogie.Houdini?number=3.0.12
vcs_tool: git
vcs_repository: https://github.com/boogie-org/boogie
vcs_branch: master
