Manage | Anaconda.org

conda-forge / packages / boogie

0

Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.

copied from cf-post-staging / boogie

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	2.9 MB	\| noarch/boogie-3.5.6-hc364b38_0.conda	3 months and 28 days ago	237	main
	conda	2.9 MB	\| noarch/boogie-3.5.5-hc364b38_0.conda	8 months and 10 days ago	441	main
	conda	2.9 MB	\| noarch/boogie-3.5.4-hc364b38_0.conda	9 months and 15 days ago	516	main
	conda	2.9 MB	\| noarch/boogie-3.5.3-hc364b38_0.conda	10 months and 27 days ago	618	main
	conda	2.9 MB	\| noarch/boogie-3.5.2-h267e887_0.conda	11 months and 12 days ago	643	main
	conda	2.9 MB	\| noarch/boogie-3.5.1-h267e887_0.conda	1 year and 29 days ago	722	main
	conda	2.9 MB	\| noarch/boogie-3.4.3-h267e887_1.conda	1 year and 4 months ago	1113	main
	conda	2.9 MB	\| noarch/boogie-3.4.3-h267e887_0.conda	1 year and 4 months ago	1148	main
	conda	2.6 MB	\| noarch/boogie-3.4.3-hd8ed1ab_0.conda	1 year and 4 months ago	1092	main
	conda	2.6 MB	\| noarch/boogie-3.2.4-hd8ed1ab_0.conda	1 year and 4 months ago	1077	main

© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.16) Legal | Privacy Policy