Boogie 3.5.1

.NET 8.0 This package targets .NET 8.0. The package is compatible with this framework or higher. 
dotnet tool install --global Boogie --version 3.5.1
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 3.5.1
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=3.5.1                

                    
                

            
nuke :add-package Boogie --version 3.5.1

An SMT-based program verifier.

Product Compatible and additional computed target framework versions.
.NET net8.0 is compatible.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed.  net9.0 was computed.  net9.0-android was computed.  net9.0-browser was computed.  net9.0-ios was computed.  net9.0-maccatalyst was computed.  net9.0-macos was computed.  net9.0-tvos was computed.  net9.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

Version Downloads Last updated
3.5.1 188 3/12/2025
3.4.3 1,464 11/26/2024
3.4.2 135 11/14/2024
3.4.1 166 10/25/2024
3.4.0 95 10/24/2024
3.3.3 167 10/15/2024
3.3.2 115 10/12/2024
3.3.1 95 10/7/2024
3.3.0 96 10/8/2024
3.2.5 40,427 9/12/2024
3.2.4 40,565 8/16/2024
3.2.3 101 7/30/2024
3.2.2 141 7/18/2024
3.2.0 123 7/4/2024
3.1.6 170 5/23/2024
3.1.5 157 4/23/2024
3.1.4 246 4/11/2024
3.1.3 42,793 3/13/2024
3.1.2 945 3/7/2024
3.1.1 175 3/5/2024
3.1.0 178 3/4/2024
3.0.12 3,193 2/19/2024
3.0.11 207 2/2/2024
3.0.10 179 1/22/2024
3.0.9 128,126 12/8/2023
3.0.8 1,780 11/29/2023
3.0.7 179 11/21/2023
3.0.6 1,000 11/16/2023
3.0.5 273 10/10/2023
3.0.4 247 9/14/2023
3.0.3 15,979 9/6/2023
3.0.2 163 9/5/2023
3.0.1 53,672 8/16/2023
3.0.0 380 7/20/2023
2.16.9 288 6/20/2023
2.16.8 208 6/1/2023
2.16.7 189 5/19/2023
2.16.5 299 4/10/2023
2.16.4 268 3/31/2023
2.16.3 298 3/9/2023
2.16.2 291 2/23/2023
2.16.1 262 2/21/2023
2.16.0 56,852 11/28/2022
2.15.9 2,440 10/25/2022
2.15.8 95,050 9/30/2022
2.15.7 23,318 7/22/2022
2.15.6 559 6/16/2022
2.15.5 475 6/15/2022
2.15.4 473 6/13/2022
2.15.3 450 6/10/2022
2.15.2 580 5/12/2022
2.15.1 495 5/5/2022
2.15.0 505 5/2/2022
2.14.0 527 4/19/2022
2.13.4 717 3/25/2022
2.13.3 468 3/23/2022
2.13.2 457 3/23/2022
2.13.1 486 3/17/2022
2.13.0 499 3/9/2022
2.12.1 519 2/28/2022
2.11.5 495 2/16/2022
2.11.4 485 2/4/2022
2.11.3 464 2/3/2022
2.11.2 532 1/10/2022
2.11.1 351 12/15/2021
2.11.0 367 12/9/2021
2.10.2 438 11/30/2021
2.10.0 381 11/30/2021
2.9.6 46,965 10/25/2021
2.9.5 376 10/21/2021
2.9.4 473 8/24/2021
2.9.3 410 8/10/2021
2.9.2 403 7/21/2021
2.9.1 2,535 7/5/2021
2.9.0 52,907 6/29/2021
2.8.33 8,476 6/14/2021
2.8.32 19,572 5/4/2021
2.8.31 3,788 4/21/2021
2.8.30 364 4/13/2021
2.8.29 12,148 3/29/2021
2.8.28 473 3/18/2021
2.8.27 7,366 3/11/2021
2.8.26 6,576 2/2/2021
2.8.25 20,074 2/2/2021
2.8.24 374 2/2/2021
2.8.23 431 1/22/2021
2.8.22 530 1/9/2021
2.8.21 538 1/5/2021
2.8.20 495 1/1/2021
2.8.18 565 12/29/2020
2.8.17 412 12/24/2020
2.8.16 425 12/23/2020
2.8.15 483 12/21/2020
2.8.14 588 12/19/2020
2.8.13 522 12/19/2020
2.8.12 505 12/13/2020
2.8.11 492 12/3/2020
2.8.10 473 12/2/2020
2.8.9 464 12/2/2020
2.8.8 474 11/26/2020
2.8.7 504 11/11/2020
2.8.6 487 11/5/2020
2.8.5 472 11/3/2020
2.8.4 512 10/30/2020
2.8.3 497 10/29/2020
2.8.2 541 10/24/2020
2.8.1 520 10/22/2020
2.8.0 545 10/20/2020
2.7.43 564 10/19/2020
2.7.42 546 10/15/2020
2.7.41 503 10/15/2020
2.7.40 543 10/14/2020
2.7.39 519 10/12/2020
2.7.38 583 10/11/2020
2.7.37 585 10/10/2020
2.7.36 546 10/7/2020
2.7.35 10,462 10/6/2020
2.7.34 548 9/30/2020
2.7.33 494 9/30/2020
2.7.32 586 9/29/2020
2.7.31 531 9/25/2020
2.7.30 8,595 9/20/2020
2.7.29 540 9/18/2020
2.7.28 572 9/17/2020
2.7.27 545 9/15/2020
2.7.26 614 9/12/2020
2.7.25 605 9/9/2020
2.7.24 550 9/7/2020
2.7.23 537 9/7/2020
2.7.22 615 9/6/2020
2.7.21 745 9/3/2020
2.7.20 545 8/26/2020
2.7.19 544 8/26/2020
2.7.18 564 8/26/2020
2.7.17 517 8/25/2020
2.7.16 518 8/19/2020
2.7.15 2,559 8/14/2020
2.7.14 615 8/6/2020
2.7.13 534 8/6/2020
2.7.12 586 8/6/2020
2.7.11 551 8/5/2020
2.7.10 600 8/5/2020
2.7.9 1,178 7/23/2020
2.7.8 543 7/23/2020
2.7.7 529 7/23/2020
2.7.6 644 7/22/2020
2.7.5 631 7/21/2020
2.7.4 540 7/21/2020
2.7.3 595 7/20/2020
2.7.2 590 7/20/2020
2.7.1 613 7/18/2020
2.7.0 552 7/15/2020
2.6.22 525 7/15/2020
2.6.21 522 7/15/2020
2.6.20 592 7/8/2020
2.6.19 566 7/6/2020
2.6.18 562 6/11/2020
2.6.17 1,363 6/9/2020
2.6.16 578 6/5/2020
2.6.15 4,821 6/4/2020
2.6.14 618 6/2/2020
2.6.13 651 5/29/2020
2.6.12 551 5/29/2020
2.6.11 677 5/21/2020
2.6.10 586 5/20/2020
2.6.9 578 5/18/2020
2.6.8 574 5/18/2020
2.6.7 550 5/13/2020
2.6.6 583 5/4/2020
2.6.5 1,875 4/21/2020
2.6.4 587 4/18/2020
2.6.3 567 4/15/2020
2.6.2 557 4/15/2020
2.6.1 550 4/14/2020
2.6.0 773 4/10/2020
2.5.19 570 4/8/2020
2.5.18 577 4/6/2020
2.5.17 592 4/3/2020
2.5.16 547 4/3/2020
2.5.15 592 3/24/2020
2.5.14 719 3/22/2020
2.5.13 562 3/22/2020
2.5.10 565 3/3/2020
2.5.9 583 3/2/2020
2.5.8 595 2/28/2020
2.5.7 2,025 2/22/2020
2.5.6 692 2/22/2020
2.5.5 661 2/21/2020
2.5.2 793 2/19/2020
2.5.1 726 2/18/2020
2.5.0 608 2/18/2020
2.4.21 662 2/18/2020
2.4.19 664 2/17/2020
2.4.18 612 2/17/2020
2.4.17 708 2/13/2020
2.4.16 576 2/13/2020
2.4.15 714 1/20/2020
2.4.14 609 1/20/2020
2.4.13 654 1/5/2020
2.4.12 683 1/3/2020
2.4.11 648 1/2/2020
2.4.10 768 1/1/2020
2.4.9 649 1/1/2020
2.4.8 673 1/1/2020
2.4.7 751 12/31/2019
2.4.6 735 12/31/2019
2.4.5 695 12/30/2019
2.4.4 590 12/24/2019
2.4.3 662 12/22/2019
2.4.2 634 12/22/2019
2.4.1-netcore-alpha 1,682 5/9/2019