Boogie 3.5.6

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


                    

                
nuke :add-package Boogie --version 3.5.6

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 476 12/10/2025
3.5.5 15,173 8/7/2025
3.5.4 322 6/26/2025
3.5.3 397 5/13/2025
3.5.2 273 4/28/2025
3.5.1 57,897 3/12/2025
3.4.3 7,297 11/26/2024
3.4.2 236 11/14/2024
3.4.1 267 10/25/2024
3.4.0 239 10/24/2024
3.3.3 295 10/15/2024
3.3.2 218 10/12/2024
3.3.1 203 10/7/2024
3.3.0 205 10/8/2024
3.2.5 57,209 9/12/2024
3.2.4 46,780 8/16/2024
3.2.3 236 7/30/2024
3.2.2 243 7/18/2024
3.2.0 219 7/4/2024
3.1.6 291 5/23/2024
3.1.5 258 4/23/2024
3.1.4 344 4/11/2024
3.1.3 43,570 3/13/2024
3.1.2 1,068 3/7/2024
3.1.1 302 3/5/2024
3.1.0 279 3/4/2024
3.0.12 3,402 2/19/2024
3.0.11 316 2/2/2024
3.0.10 290 1/22/2024
3.0.9 129,460 12/8/2023
3.0.8 1,838 11/29/2023
3.0.7 216 11/21/2023
3.0.6 1,074 11/16/2023
3.0.5 344 10/10/2023
3.0.4 319 9/14/2023
3.0.3 16,401 9/6/2023
3.0.2 234 9/5/2023
3.0.1 53,873 8/16/2023
3.0.0 469 7/20/2023
2.16.9 399 6/20/2023
2.16.8 303 6/1/2023
2.16.7 313 5/19/2023
2.16.5 393 4/10/2023
2.16.4 361 3/31/2023
2.16.3 422 3/9/2023
2.16.2 419 2/23/2023
2.16.1 370 2/21/2023
2.16.0 60,880 11/28/2022
2.15.9 4,228 10/25/2022
2.15.8 96,432 9/30/2022
2.15.7 23,475 7/22/2022
2.15.6 692 6/16/2022
2.15.5 621 6/15/2022
2.15.4 603 6/13/2022
2.15.3 575 6/10/2022
2.15.2 705 5/12/2022
2.15.1 611 5/5/2022
2.15.0 653 5/2/2022
2.14.0 678 4/19/2022
2.13.4 868 3/25/2022
2.13.3 623 3/23/2022
2.13.2 610 3/23/2022
2.13.1 626 3/17/2022
2.13.0 658 3/9/2022
2.12.1 636 2/28/2022
2.11.5 661 2/16/2022
2.11.4 639 2/4/2022
2.11.3 584 2/3/2022
2.11.2 677 1/10/2022
2.11.1 483 12/15/2021
2.11.0 500 12/9/2021
2.10.2 587 11/30/2021
2.10.0 498 11/30/2021
2.9.6 47,140 10/25/2021
2.9.5 523 10/21/2021
2.9.4 621 8/24/2021
2.9.3 534 8/10/2021
2.9.2 556 7/21/2021
2.9.1 2,795 7/5/2021
2.9.0 53,386 6/29/2021
2.8.33 8,773 6/14/2021
2.8.32 20,126 5/4/2021
2.8.31 3,943 4/21/2021
2.8.30 486 4/13/2021
2.8.29 12,620 3/29/2021
2.8.28 626 3/18/2021
2.8.27 7,517 3/11/2021
2.8.26 6,742 2/2/2021
2.8.25 20,709 2/2/2021
2.8.24 528 2/2/2021
2.8.23 579 1/22/2021
2.8.22 666 1/9/2021
2.8.21 684 1/5/2021
2.8.20 628 1/1/2021
2.8.18 744 12/29/2020
2.8.17 571 12/24/2020
2.8.16 585 12/23/2020
2.8.15 633 12/21/2020
2.8.14 738 12/19/2020
2.8.13 701 12/19/2020
2.8.12 674 12/13/2020
2.8.11 628 12/3/2020
2.8.10 635 12/2/2020
2.8.9 601 12/2/2020
2.8.8 642 11/26/2020
2.8.7 681 11/11/2020
2.8.6 648 11/5/2020
2.8.5 611 11/3/2020
2.8.4 681 10/30/2020
2.8.3 672 10/29/2020
2.8.2 717 10/24/2020
2.8.1 678 10/22/2020
2.8.0 714 10/20/2020
2.7.43 729 10/19/2020
2.7.42 691 10/15/2020
2.7.41 667 10/15/2020
2.7.40 715 10/14/2020
2.7.39 691 10/12/2020
2.7.38 747 10/11/2020
2.7.37 723 10/10/2020
2.7.36 685 10/7/2020
2.7.35 10,604 10/6/2020
2.7.34 709 9/30/2020
2.7.33 641 9/30/2020
2.7.32 749 9/29/2020
2.7.31 676 9/25/2020
2.7.30 9,021 9/20/2020
2.7.29 678 9/18/2020
2.7.28 713 9/17/2020
2.7.27 727 9/15/2020
2.7.26 769 9/12/2020
2.7.25 747 9/9/2020
2.7.24 689 9/7/2020
2.7.23 724 9/7/2020
2.7.22 778 9/6/2020
2.7.21 895 9/3/2020
2.7.20 728 8/26/2020
2.7.19 686 8/26/2020
2.7.18 756 8/26/2020
2.7.17 666 8/25/2020
2.7.16 688 8/19/2020
2.7.15 2,711 8/14/2020
2.7.14 757 8/6/2020
2.7.13 679 8/6/2020
2.7.12 727 8/6/2020
2.7.11 702 8/5/2020
2.7.10 740 8/5/2020
2.7.9 1,576 7/23/2020
2.7.8 684 7/23/2020
2.7.7 684 7/23/2020
2.7.6 806 7/22/2020
2.7.5 793 7/21/2020
2.7.4 702 7/21/2020
2.7.3 747 7/20/2020
2.7.2 736 7/20/2020
2.7.1 758 7/18/2020
2.7.0 711 7/15/2020
2.6.22 675 7/15/2020
2.6.21 658 7/15/2020
2.6.20 761 7/8/2020
2.6.19 736 7/6/2020
2.6.18 712 6/11/2020
2.6.17 1,588 6/9/2020
2.6.16 753 6/5/2020
2.6.15 4,999 6/4/2020
2.6.14 759 6/2/2020
2.6.13 793 5/29/2020
2.6.12 723 5/29/2020
2.6.11 853 5/21/2020
2.6.10 767 5/20/2020
2.6.9 741 5/18/2020
2.6.8 736 5/18/2020
2.6.7 710 5/13/2020
2.6.6 730 5/4/2020
2.6.5 2,043 4/21/2020
2.6.4 733 4/18/2020
2.6.3 734 4/15/2020
2.6.2 713 4/15/2020
2.6.1 716 4/14/2020
2.6.0 947 4/10/2020
2.5.19 720 4/8/2020
2.5.18 742 4/6/2020
2.5.17 741 4/3/2020
2.5.16 687 4/3/2020
2.5.15 738 3/24/2020
2.5.14 892 3/22/2020
2.5.13 744 3/22/2020
2.5.10 716 3/3/2020
2.5.9 730 3/2/2020
2.5.8 740 2/28/2020
2.5.7 2,185 2/22/2020
2.5.6 868 2/22/2020
2.5.5 824 2/21/2020
2.5.2 939 2/19/2020
2.5.1 871 2/18/2020
2.5.0 790 2/18/2020
2.4.21 848 2/18/2020
2.4.19 814 2/17/2020
2.4.18 759 2/17/2020
2.4.17 858 2/13/2020
2.4.16 722 2/13/2020
2.4.15 859 1/20/2020
2.4.14 781 1/20/2020
2.4.13 803 1/5/2020
2.4.12 836 1/3/2020
2.4.11 821 1/2/2020
2.4.10 918 1/1/2020
2.4.9 796 1/1/2020
2.4.8 850 1/1/2020
2.4.7 905 12/31/2019
2.4.6 905 12/31/2019
2.4.5 865 12/30/2019
2.4.4 776 12/24/2019
2.4.3 815 12/22/2019
2.4.2 795 12/22/2019
2.4.1-netcore-alpha 1,908 5/9/2019