Boogie 3.3.2

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
There is a newer version of this package available.
See the version list below for details. 
dotnet tool install --global Boogie --version 3.3.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 3.3.2
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=3.3.2
                    


                    

                
nuke :add-package Boogie --version 3.3.2

An SMT-based program verifier.

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  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.  net10.0 was computed.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.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.6 550 12/10/2025
3.5.5 16,824 8/7/2025
3.5.4 337 6/26/2025
3.5.3 409 5/13/2025
3.5.2 287 4/28/2025
3.5.1 59,498 3/12/2025
3.4.3 7,542 11/26/2024
3.4.2 247 11/14/2024
3.4.1 275 10/25/2024
3.4.0 252 10/24/2024
3.3.3 303 10/15/2024
3.3.2 224 10/12/2024
3.3.1 217 10/7/2024
3.3.0 215 10/8/2024
3.2.5 57,378 9/12/2024
3.2.4 47,045 8/16/2024
3.2.3 246 7/30/2024
3.2.2 256 7/18/2024
3.2.0 230 7/4/2024
3.1.6 299 5/23/2024
3.1.5 268 4/23/2024
3.1.4 358 4/11/2024
3.1.3 43,602 3/13/2024
3.1.2 1,078 3/7/2024
3.1.1 314 3/5/2024
3.1.0 287 3/4/2024
3.0.12 3,414 2/19/2024
3.0.11 329 2/2/2024
3.0.10 299 1/22/2024
3.0.9 129,553 12/8/2023
3.0.8 1,843 11/29/2023
3.0.7 222 11/21/2023
3.0.6 1,078 11/16/2023
3.0.5 348 10/10/2023
3.0.4 324 9/14/2023
3.0.3 16,404 9/6/2023
3.0.2 239 9/5/2023
3.0.1 53,899 8/16/2023
3.0.0 477 7/20/2023
2.16.9 402 6/20/2023
2.16.8 308 6/1/2023
2.16.7 319 5/19/2023
2.16.5 395 4/10/2023
2.16.4 369 3/31/2023
2.16.3 425 3/9/2023
2.16.2 423 2/23/2023
2.16.1 376 2/21/2023
2.16.0 61,040 11/28/2022
2.15.9 4,748 10/25/2022
2.15.8 96,464 9/30/2022
2.15.7 23,482 7/22/2022
2.15.6 697 6/16/2022
2.15.5 632 6/15/2022
2.15.4 611 6/13/2022
2.15.3 579 6/10/2022
2.15.2 710 5/12/2022
2.15.1 619 5/5/2022
2.15.0 659 5/2/2022
2.14.0 681 4/19/2022
2.13.4 874 3/25/2022
2.13.3 626 3/23/2022
2.13.2 616 3/23/2022
2.13.1 634 3/17/2022
2.13.0 662 3/9/2022
2.12.1 644 2/28/2022
2.11.5 670 2/16/2022
2.11.4 643 2/4/2022
2.11.3 589 2/3/2022
2.11.2 682 1/10/2022
2.11.1 490 12/15/2021
2.11.0 508 12/9/2021
2.10.2 593 11/30/2021
2.10.0 502 11/30/2021
2.9.6 47,156 10/25/2021
2.9.5 531 10/21/2021
2.9.4 629 8/24/2021
2.9.3 539 8/10/2021
2.9.2 561 7/21/2021
2.9.1 2,802 7/5/2021
2.9.0 53,390 6/29/2021
2.8.33 8,782 6/14/2021
2.8.32 20,144 5/4/2021
2.8.31 3,949 4/21/2021
2.8.30 494 4/13/2021
2.8.29 12,652 3/29/2021
2.8.28 631 3/18/2021
2.8.27 7,525 3/11/2021
2.8.26 6,747 2/2/2021
2.8.25 20,742 2/2/2021
2.8.24 531 2/2/2021
2.8.23 585 1/22/2021
2.8.22 672 1/9/2021
2.8.21 687 1/5/2021
2.8.20 636 1/1/2021
2.8.18 753 12/29/2020
2.8.17 578 12/24/2020
2.8.16 593 12/23/2020
2.8.15 643 12/21/2020
2.8.14 743 12/19/2020
2.8.13 706 12/19/2020
2.8.12 680 12/13/2020
2.8.11 638 12/3/2020
2.8.10 644 12/2/2020
2.8.9 607 12/2/2020
2.8.8 645 11/26/2020
2.8.7 690 11/11/2020
2.8.6 653 11/5/2020
2.8.5 618 11/3/2020
2.8.4 687 10/30/2020
2.8.3 681 10/29/2020
2.8.2 721 10/24/2020
2.8.1 686 10/22/2020
2.8.0 724 10/20/2020
2.7.43 736 10/19/2020
2.7.42 695 10/15/2020
2.7.41 671 10/15/2020
2.7.40 721 10/14/2020
2.7.39 698 10/12/2020
2.7.38 750 10/11/2020
2.7.37 727 10/10/2020
2.7.36 692 10/7/2020
2.7.35 10,609 10/6/2020
2.7.34 714 9/30/2020
2.7.33 646 9/30/2020
2.7.32 757 9/29/2020
2.7.31 682 9/25/2020
2.7.30 9,027 9/20/2020
2.7.29 683 9/18/2020
2.7.28 720 9/17/2020
2.7.27 734 9/15/2020
2.7.26 778 9/12/2020
2.7.25 752 9/9/2020
2.7.24 693 9/7/2020
2.7.23 727 9/7/2020
2.7.22 781 9/6/2020
2.7.21 903 9/3/2020
2.7.20 737 8/26/2020
2.7.19 693 8/26/2020
2.7.18 764 8/26/2020
2.7.17 676 8/25/2020
2.7.16 693 8/19/2020
2.7.15 2,719 8/14/2020
2.7.14 768 8/6/2020
2.7.13 684 8/6/2020
2.7.12 735 8/6/2020
2.7.11 710 8/5/2020
2.7.10 748 8/5/2020
2.7.9 1,581 7/23/2020
2.7.8 689 7/23/2020
2.7.7 690 7/23/2020
2.7.6 808 7/22/2020
2.7.5 799 7/21/2020
2.7.4 707 7/21/2020
2.7.3 752 7/20/2020
2.7.2 742 7/20/2020
2.7.1 764 7/18/2020
2.7.0 720 7/15/2020
2.6.22 686 7/15/2020
2.6.21 667 7/15/2020
2.6.20 765 7/8/2020
2.6.19 740 7/6/2020
2.6.18 725 6/11/2020
2.6.17 1,596 6/9/2020
2.6.16 760 6/5/2020
2.6.15 5,000 6/4/2020
2.6.14 765 6/2/2020
2.6.13 799 5/29/2020
2.6.12 738 5/29/2020
2.6.11 862 5/21/2020
2.6.10 773 5/20/2020
2.6.9 751 5/18/2020
2.6.8 744 5/18/2020
2.6.7 722 5/13/2020
2.6.6 735 5/4/2020
2.6.5 2,049 4/21/2020
2.6.4 739 4/18/2020
2.6.3 740 4/15/2020
2.6.2 720 4/15/2020
2.6.1 725 4/14/2020
2.6.0 952 4/10/2020
2.5.19 728 4/8/2020
2.5.18 749 4/6/2020
2.5.17 750 4/3/2020
2.5.16 694 4/3/2020
2.5.15 742 3/24/2020
2.5.14 899 3/22/2020
2.5.13 747 3/22/2020
2.5.10 723 3/3/2020
2.5.9 735 3/2/2020
2.5.8 747 2/28/2020
2.5.7 2,191 2/22/2020
2.5.6 875 2/22/2020
2.5.5 831 2/21/2020
2.5.2 945 2/19/2020
2.5.1 876 2/18/2020
2.5.0 795 2/18/2020
2.4.21 853 2/18/2020
2.4.19 821 2/17/2020
2.4.18 763 2/17/2020
2.4.17 866 2/13/2020
2.4.16 727 2/13/2020
2.4.15 868 1/20/2020
2.4.14 787 1/20/2020
2.4.13 809 1/5/2020
2.4.12 841 1/3/2020
2.4.11 830 1/2/2020
2.4.10 923 1/1/2020
2.4.9 802 1/1/2020
2.4.8 860 1/1/2020
2.4.7 910 12/31/2019
2.4.6 913 12/31/2019
2.4.5 871 12/30/2019
2.4.4 780 12/24/2019
2.4.3 825 12/22/2019
2.4.2 801 12/22/2019
2.4.1-netcore-alpha 1,922 5/9/2019