Boogie 2.10.2

dotnet tool install --global Boogie --version 2.10.2
This package contains a .NET tool you can call from the shell/command line.
dotnet new tool-manifest # if you are setting up this repo
dotnet tool install --local Boogie --version 2.10.2
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Boogie&version=2.10.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package Boogie --version 2.10.2
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

An SMT-based program verifier.

This package has no dependencies.

Version Downloads Last updated
2.10.2 18 11/30/2021
2.10.0 17 11/30/2021
2.9.6 1,100 10/25/2021
2.9.5 108 10/21/2021
2.9.4 179 8/24/2021
2.9.3 100 8/10/2021
2.9.2 118 7/21/2021
2.9.1 2,158 7/5/2021
2.9.0 28,344 6/29/2021
2.8.33 4,877 6/14/2021
2.8.32 12,844 5/4/2021
2.8.31 3,512 4/21/2021
2.8.30 115 4/13/2021
2.8.29 8,630 3/29/2021
2.8.28 172 3/18/2021
2.8.27 6,734 3/11/2021
2.8.26 6,210 2/2/2021
2.8.25 14,487 2/2/2021
2.8.24 95 2/2/2021
2.8.23 159 1/22/2021
2.8.22 209 1/9/2021
2.8.21 212 1/5/2021
2.8.20 222 1/1/2021
2.8.18 164 12/29/2020
2.8.17 142 12/24/2020
2.8.16 152 12/23/2020
2.8.15 186 12/21/2020
2.8.14 288 12/19/2020
2.8.13 237 12/19/2020
2.8.12 230 12/13/2020
2.8.11 183 12/3/2020
2.8.10 191 12/2/2020
2.8.9 162 12/2/2020
2.8.8 172 11/26/2020
2.8.7 206 11/11/2020
2.8.6 201 11/5/2020
2.8.5 194 11/3/2020
2.8.4 247 10/30/2020
2.8.3 179 10/29/2020
2.8.2 233 10/24/2020
2.8.1 214 10/22/2020
2.8.0 220 10/20/2020
2.7.43 240 10/19/2020
2.7.42 253 10/15/2020
2.7.41 227 10/15/2020
2.7.40 232 10/14/2020
2.7.39 224 10/12/2020
2.7.38 272 10/11/2020
2.7.37 278 10/10/2020
2.7.36 228 10/7/2020
2.7.35 9,110 10/6/2020
2.7.34 278 9/30/2020
2.7.33 208 9/30/2020
2.7.32 289 9/29/2020
2.7.31 233 9/25/2020
2.7.30 8,276 9/20/2020
2.7.29 245 9/18/2020
2.7.28 280 9/17/2020
2.7.27 251 9/15/2020
2.7.26 338 9/12/2020
2.7.25 280 9/9/2020
2.7.24 227 9/7/2020
2.7.23 252 9/7/2020
2.7.22 309 9/6/2020
2.7.21 437 9/3/2020
2.7.20 237 8/26/2020
2.7.19 236 8/26/2020
2.7.18 243 8/26/2020
2.7.17 224 8/25/2020
2.7.16 232 8/19/2020
2.7.15 2,265 8/14/2020
2.7.14 331 8/6/2020
2.7.13 254 8/6/2020
2.7.12 273 8/6/2020
2.7.11 258 8/5/2020
2.7.10 277 8/5/2020
2.7.9 850 7/23/2020
2.7.8 221 7/23/2020
2.7.7 228 7/23/2020
2.7.6 345 7/22/2020
2.7.5 321 7/21/2020
2.7.4 233 7/21/2020
2.7.3 284 7/20/2020
2.7.2 288 7/20/2020
2.7.1 327 7/18/2020
2.7.0 248 7/15/2020
2.6.22 229 7/15/2020
2.6.21 238 7/15/2020
2.6.20 261 7/8/2020
2.6.19 255 7/6/2020
2.6.18 255 6/11/2020
2.6.17 1,006 6/9/2020
2.6.16 266 6/5/2020
2.6.15 4,476 6/4/2020
2.6.14 298 6/2/2020
2.6.13 377 5/29/2020
2.6.12 270 5/29/2020
2.6.11 367 5/21/2020
2.6.10 264 5/20/2020
2.6.9 272 5/18/2020
2.6.8 272 5/18/2020
2.6.7 261 5/13/2020
2.6.6 306 5/4/2020
2.6.5 1,570 4/21/2020
2.6.4 271 4/18/2020
2.6.3 258 4/15/2020
2.6.2 267 4/15/2020
2.6.1 265 4/14/2020
2.6.0 463 4/10/2020
2.5.19 299 4/8/2020
2.5.18 281 4/6/2020
2.5.17 306 4/3/2020
2.5.16 270 4/3/2020
2.5.15 306 3/24/2020
2.5.14 416 3/22/2020
2.5.13 279 3/22/2020
2.5.10 273 3/3/2020
2.5.9 274 3/2/2020
2.5.8 293 2/28/2020
2.5.7 1,698 2/22/2020
2.5.6 355 2/22/2020
2.5.5 360 2/21/2020
2.5.2 469 2/19/2020
2.5.1 401 2/18/2020
2.5.0 294 2/18/2020
2.4.21 325 2/18/2020
2.4.19 355 2/17/2020
2.4.18 320 2/17/2020
2.4.17 403 2/13/2020
2.4.16 282 2/13/2020
2.4.15 414 1/20/2020
2.4.14 296 1/20/2020
2.4.13 350 1/5/2020
2.4.12 343 1/3/2020
2.4.11 331 1/2/2020
2.4.10 431 1/1/2020
2.4.9 322 1/1/2020
2.4.8 349 1/1/2020
2.4.7 415 12/31/2019
2.4.6 405 12/31/2019
2.4.5 392 12/30/2019
2.4.4 297 12/24/2019
2.4.3 369 12/22/2019
2.4.2 298 12/22/2019
2.4.1-netcore-alpha 1,340 5/9/2019