PROSE group header - blue background

PROSE Framework

Frequently asked questions

General questions

How do I use the PROSE SDK?

The SDK is used through .NET APIs. See the tutorial for how to get started and the documentation links on the sidebar for more details.

Do you have any datasets?

Yes, the datasets are available here (opens in new tab).

How do I install it?

Install the Microsoft.ProgramSynthesis and (optionally) Microsoft.ProgramSynthesis.Compiler NuGet packages in Visual Studio.

You can also generate a template DSL project by running

npm install -g yo
npm install -g generator-prose
yo prose

Is it cross-platform?

Yes, PROSE SDK is supported on Windows, Linux, and macOS. Currently, the package is guaranteed to work on .NET 4.5+ and .NET Core.

Where can I use it?

The SDK is released under a non-commercial license for use in research, education, and non-commercial applications. See the license (opens in new tab) for details.  Please note: The samples for using the PROSE SDK are available under the MIT license (as you can see in the github repo for the samples (opens in new tab)), but the license for the SDK itself is restricted to non-commercial use only.

Where can I find sample code?

Our samples are located in the PROSE GitHub repository (opens in new tab).

How can I contact you if I have any questions or feedback?

If you run into any bugs or issues, please open an issue (opens in new tab) in our GitHub repository. Feel free also to email us (opens in new tab).

Visual Studio Code on Linux

How do I restore NuGet packages for a PROSE solution (a sample or a yo-generated template)?

sudo apt install mono-complete nuget
sudo nuget update -self
nuget restore YourSolution.sln

How do I build a solution in VS Code?

Press Ctrl+Shift+P and configure a task runner (opens in new tab). Pick the msbuild task. In the generated tasks.json, replace msbuild with xbuild.

When I try to run xbuild on my yo-generated solution, it fails with an error about @(AssemblyPaths -> Replace('/', '/')).

As it turns out, xbuild does not support the entirety of the msbuild language. This means that you won’t be able to recompile your grammar automatically on each build out of the box. We are working on fixing this. In the meantime, please regenerate your solution with yo prose but answer “No” to the last question.

How do I launch a program or debug it in VS Code?

Install the mono-debug (opens in new tab) extension for VS Code and follow the instructions on its webpage.