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