Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/boogie
SMT-based program verifier
Screenshots
https://github.com/boogie-org/boogie/
boogie-3.4.2
~amd64
test debug
View
Download
Browse
License: MIT
Overlay:
gentoo
boogie-3.4.1
~amd64
test debug
View
Download
Browse
License: MIT
Overlay:
gentoo
boogie-3.3.3
~amd64
test debug
View
Download
Browse
License: MIT
Overlay:
gentoo
boogie-3.2.5
amd64
test debug
View
Download
Browse
License: MIT
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
boogie-3.4.2
sci-mathematics/z3
virtual/dotnet-sdk
:8.0
boogie-3.4.1
sci-mathematics/z3
virtual/dotnet-sdk
:8.0
boogie-3.3.3
sci-mathematics/z3
virtual/dotnet-sdk
:8.0
boogie-3.2.5
sci-mathematics/z3
virtual/dotnet-sdk
:8.0
View
Download
Browse