Microsoft.ProgramSynthesis.Dslc 9.0.0

The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. Prefix Reserved
dotnet tool install --global Microsoft.ProgramSynthesis.Dslc --version 9.0.0
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 Microsoft.ProgramSynthesis.Dslc --version 9.0.0
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=Microsoft.ProgramSynthesis.Dslc&version=9.0.0
nuke :add-package Microsoft.ProgramSynthesis.Dslc --version 9.0.0

Microsoft Program Synthesis using Examples SDK

The Program Synthesis using Examples (PROSE) SDK includes a set of technologies for the automatic generation of programs from input-output examples. The SDK is split into a series of nuget packages that can be used independently or in concert. Each package references which ever others it depends on as needed, so just install the packages you need for your scenarios, or install the top-level Microsoft.ProgramSynthesis package to get everything.

Getting Started

You can find samples for consuming the SDK as well as the release notes at https://github.com/microsoft/prose.

License

The PROSE SDK is available for non-commercial use only. See the LICENSE.txt file for more details.

Contributing

The PROSE SDK is closed source (except the usage samples), but if you run into problems, please open an issue, and someone from the PROSE team will work with you to see if the problem can be addressed.

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. 
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
9.0.0 0 6/25/2024
8.35.1 99 5/29/2024
8.34.1 106 4/26/2024
8.34.0 104 4/25/2024
8.33.0 161 3/26/2024
8.32.0 121 2/28/2024
8.31.0 147 1/25/2024
8.30.0 191 12/20/2023
8.29.0 169 11/27/2023
8.28.0 162 10/24/2023
8.27.0 168 9/25/2023
8.26.0 160 8/30/2023
8.25.0 160 7/24/2023
8.24.0 173 6/26/2023
8.22.0 157 5/24/2023
8.21.0 178 4/24/2023
8.20.0 206 3/30/2023
8.19.0 227 2/27/2023
8.18.0 289 1/25/2023
8.17.0 304 12/20/2022
8.16.0 324 11/21/2022
8.15.0 354 10/31/2022
8.14.0 393 10/24/2022
8.13.0 398 9/28/2022
8.12.0 478 8/24/2022
8.11.0 466 7/25/2022
8.10.0 490 6/30/2022
8.9.0 481 5/24/2022
8.8.0 521 4/27/2022
8.7.0 540 3/29/2022
8.6.0 570 2/28/2022
8.5.0 564 1/24/2022
8.4.0 1,018 11/29/2021
8.3.0 506 10/25/2021
8.2.0 535 9/28/2021
8.1.0 475 8/23/2021
8.0.0 507 7/28/2021
7.32.0 525 6/28/2021
7.31.0 520 5/25/2021
7.30.0 480 4/28/2021
7.28.0 494 3/23/2021
7.27.0 520 2/22/2021
7.25.1 506 1/27/2021
7.25.0 515 1/26/2021
7.24.0 597 12/14/2020
7.23.0 536 11/23/2020
7.22.0 644 10/26/2020
7.20.0 630 9/28/2020
7.17.0 606 8/26/2020
7.16.0 2,164 7/27/2020
7.13.1 628 6/25/2020
7.13.0 583 6/22/2020
7.11.1 726 5/15/2020
7.11.0 650 5/15/2020
7.10.0 711 4/29/2020
7.9.1 679 4/6/2020
7.9.0 629 4/6/2020
7.8.0 631 3/25/2020
7.7.0 758 2/29/2020
7.6.1 707 1/28/2020
7.6.0 821 1/27/2020
7.5.1 646 11/26/2019
7.5.0 613 11/26/2019
7.4.0 631 10/29/2019
7.3.0 726 9/23/2019
7.1.0 670 8/29/2019
7.0.0 739 7/30/2019
6.21.0 723 6/24/2019
6.20.0 669 5/30/2019
6.18.0 731 4/11/2019
6.17.0 756 3/15/2019
6.14.6 809 2/16/2019
6.11.0 878 1/16/2019
6.10.0 858 12/17/2018
6.9.0 902 11/16/2018
6.8.1 914 10/18/2018
6.8.0 889 10/18/2018
6.7.0 1,082 9/20/2018
6.6.0 1,128 8/20/2018
6.5.0 1,058 7/23/2018
6.4.0 1,093 6/26/2018
6.3.0 1,233 5/15/2018
6.2.0 1,154 4/25/2018
6.1.0 1,187 4/16/2018
6.0.0 1,179 3/19/2018
5.1.0 1,217 2/7/2018
5.0.1 1,329 2/5/2018