Boogie 3.5.2

.NET 8.0 This package targets .NET 8.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.5.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.5.2
This package contains a .NET tool you can call from the shell/command line. 
#tool dotnet:?package=Boogie&version=3.5.2
                    


                    

                
nuke :add-package Boogie --version 3.5.2

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.  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 502 12/10/2025
3.5.5 15,495 8/7/2025
3.5.4 323 6/26/2025
3.5.3 399 5/13/2025
3.5.2 276 4/28/2025
3.5.1 58,285 3/12/2025
3.4.3 7,299 11/26/2024
3.4.2 239 11/14/2024
3.4.1 268 10/25/2024
3.4.0 242 10/24/2024
3.3.3 296 10/15/2024
3.3.2 218 10/12/2024
3.3.1 205 10/7/2024
3.3.0 207 10/8/2024
3.2.5 57,292 9/12/2024
3.2.4 46,824 8/16/2024
3.2.3 239 7/30/2024
3.2.2 246 7/18/2024
3.2.0 221 7/4/2024
3.1.6 291 5/23/2024
3.1.5 258 4/23/2024
3.1.4 347 4/11/2024
3.1.3 43,591 3/13/2024
3.1.2 1,069 3/7/2024
3.1.1 303 3/5/2024
3.1.0 280 3/4/2024
3.0.12 3,405 2/19/2024
3.0.11 318 2/2/2024
3.0.10 291 1/22/2024
3.0.9 129,473 12/8/2023
3.0.8 1,840 11/29/2023
3.0.7 218 11/21/2023
3.0.6 1,075 11/16/2023
3.0.5 344 10/10/2023
3.0.4 320 9/14/2023
3.0.3 16,401 9/6/2023
3.0.2 236 9/5/2023
3.0.1 53,874 8/16/2023
3.0.0 472 7/20/2023
2.16.9 399 6/20/2023
2.16.8 305 6/1/2023
2.16.7 315 5/19/2023
2.16.5 393 4/10/2023
2.16.4 363 3/31/2023
2.16.3 422 3/9/2023
2.16.2 420 2/23/2023
2.16.1 372 2/21/2023
2.16.0 61,028 11/28/2022
2.15.9 4,253 10/25/2022
2.15.8 96,435 9/30/2022
2.15.7 23,477 7/22/2022
2.15.6 692 6/16/2022
2.15.5 624 6/15/2022
2.15.4 604 6/13/2022
2.15.3 576 6/10/2022
2.15.2 706 5/12/2022
2.15.1 613 5/5/2022
2.15.0 655 5/2/2022
2.14.0 678 4/19/2022
2.13.4 870 3/25/2022
2.13.3 626 3/23/2022
2.13.2 612 3/23/2022
2.13.1 627 3/17/2022
2.13.0 660 3/9/2022
2.12.1 640 2/28/2022
2.11.5 663 2/16/2022
2.11.4 640 2/4/2022
2.11.3 585 2/3/2022
2.11.2 677 1/10/2022
2.11.1 485 12/15/2021
2.11.0 503 12/9/2021
2.10.2 587 11/30/2021
2.10.0 499 11/30/2021
2.9.6 47,141 10/25/2021
2.9.5 524 10/21/2021
2.9.4 624 8/24/2021
2.9.3 535 8/10/2021
2.9.2 557 7/21/2021
2.9.1 2,797 7/5/2021
2.9.0 53,387 6/29/2021
2.8.33 8,777 6/14/2021
2.8.32 20,128 5/4/2021
2.8.31 3,944 4/21/2021
2.8.30 487 4/13/2021
2.8.29 12,625 3/29/2021
2.8.28 627 3/18/2021
2.8.27 7,520 3/11/2021
2.8.26 6,743 2/2/2021
2.8.25 20,716 2/2/2021
2.8.24 529 2/2/2021
2.8.23 583 1/22/2021
2.8.22 668 1/9/2021
2.8.21 686 1/5/2021
2.8.20 630 1/1/2021
2.8.18 748 12/29/2020
2.8.17 573 12/24/2020
2.8.16 588 12/23/2020
2.8.15 636 12/21/2020
2.8.14 740 12/19/2020
2.8.13 704 12/19/2020
2.8.12 676 12/13/2020
2.8.11 632 12/3/2020
2.8.10 636 12/2/2020
2.8.9 602 12/2/2020
2.8.8 643 11/26/2020
2.8.7 684 11/11/2020
2.8.6 651 11/5/2020
2.8.5 615 11/3/2020
2.8.4 684 10/30/2020
2.8.3 676 10/29/2020
2.8.2 719 10/24/2020
2.8.1 680 10/22/2020
2.8.0 719 10/20/2020
2.7.43 732 10/19/2020
2.7.42 693 10/15/2020
2.7.41 668 10/15/2020
2.7.40 718 10/14/2020
2.7.39 694 10/12/2020
2.7.38 748 10/11/2020
2.7.37 725 10/10/2020
2.7.36 688 10/7/2020
2.7.35 10,606 10/6/2020
2.7.34 710 9/30/2020
2.7.33 644 9/30/2020
2.7.32 752 9/29/2020
2.7.31 678 9/25/2020
2.7.30 9,023 9/20/2020
2.7.29 680 9/18/2020
2.7.28 717 9/17/2020
2.7.27 729 9/15/2020
2.7.26 770 9/12/2020
2.7.25 749 9/9/2020
2.7.24 691 9/7/2020
2.7.23 725 9/7/2020
2.7.22 780 9/6/2020
2.7.21 900 9/3/2020
2.7.20 733 8/26/2020
2.7.19 689 8/26/2020
2.7.18 758 8/26/2020
2.7.17 668 8/25/2020
2.7.16 690 8/19/2020
2.7.15 2,715 8/14/2020
2.7.14 761 8/6/2020
2.7.13 680 8/6/2020
2.7.12 729 8/6/2020
2.7.11 706 8/5/2020
2.7.10 743 8/5/2020
2.7.9 1,578 7/23/2020
2.7.8 686 7/23/2020
2.7.7 686 7/23/2020
2.7.6 807 7/22/2020
2.7.5 796 7/21/2020
2.7.4 706 7/21/2020
2.7.3 750 7/20/2020
2.7.2 739 7/20/2020
2.7.1 760 7/18/2020
2.7.0 713 7/15/2020
2.6.22 680 7/15/2020
2.6.21 661 7/15/2020
2.6.20 763 7/8/2020
2.6.19 738 7/6/2020
2.6.18 716 6/11/2020
2.6.17 1,592 6/9/2020
2.6.16 755 6/5/2020
2.6.15 5,000 6/4/2020
2.6.14 761 6/2/2020
2.6.13 795 5/29/2020
2.6.12 727 5/29/2020
2.6.11 856 5/21/2020
2.6.10 770 5/20/2020
2.6.9 745 5/18/2020
2.6.8 739 5/18/2020
2.6.7 713 5/13/2020
2.6.6 733 5/4/2020
2.6.5 2,045 4/21/2020
2.6.4 735 4/18/2020
2.6.3 736 4/15/2020
2.6.2 716 4/15/2020
2.6.1 719 4/14/2020
2.6.0 951 4/10/2020
2.5.19 724 4/8/2020
2.5.18 745 4/6/2020
2.5.17 744 4/3/2020
2.5.16 691 4/3/2020
2.5.15 740 3/24/2020
2.5.14 894 3/22/2020
2.5.13 745 3/22/2020
2.5.10 717 3/3/2020
2.5.9 732 3/2/2020
2.5.8 744 2/28/2020
2.5.7 2,188 2/22/2020
2.5.6 870 2/22/2020
2.5.5 827 2/21/2020
2.5.2 941 2/19/2020
2.5.1 873 2/18/2020
2.5.0 793 2/18/2020
2.4.21 850 2/18/2020
2.4.19 816 2/17/2020
2.4.18 760 2/17/2020
2.4.17 860 2/13/2020
2.4.16 724 2/13/2020
2.4.15 863 1/20/2020
2.4.14 785 1/20/2020
2.4.13 807 1/5/2020
2.4.12 838 1/3/2020
2.4.11 825 1/2/2020
2.4.10 920 1/1/2020
2.4.9 799 1/1/2020
2.4.8 852 1/1/2020
2.4.7 907 12/31/2019
2.4.6 907 12/31/2019
2.4.5 868 12/30/2019
2.4.4 778 12/24/2019
2.4.3 818 12/22/2019
2.4.2 797 12/22/2019
2.4.1-netcore-alpha 1,911 5/9/2019