Semgus.Sexpr
2.0.0-alpha5
This is a prerelease version of Semgus.Sexpr.
There is a newer version of this package available.
See the version list below for details.
See the version list below for details.
dotnet add package Semgus.Sexpr --version 2.0.0-alpha5
NuGet\Install-Package Semgus.Sexpr -Version 2.0.0-alpha5
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="Semgus.Sexpr" Version="2.0.0-alpha5" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Semgus.Sexpr --version 2.0.0-alpha5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Semgus.Sexpr, 2.0.0-alpha5"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install Semgus.Sexpr as a Cake Addin
#addin nuget:?package=Semgus.Sexpr&version=2.0.0-alpha5&prerelease
// Install Semgus.Sexpr as a Cake Tool
#tool nuget:?package=Semgus.Sexpr&version=2.0.0-alpha5&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Library for working with S-expressions, in the context of semantics-guided synthesis (SemGuS) problem files.
Product | Versions 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. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
-
net6.0
- Microsoft.Extensions.DependencyInjection (>= 6.0.0)
NuGet packages (1)
Showing the top 1 NuGet packages that depend on Semgus.Sexpr:
Package | Downloads |
---|---|
Semgus.Parser
Library for parsing semantics-guided synthesis (SemGuS) problem files. |
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
2.6.0 | 108 | 4/7/2024 |
2.6.0-preview3 | 66 | 3/24/2024 |
2.6.0-preview2 | 71 | 3/23/2024 |
2.6.0-preview1 | 69 | 3/12/2024 |
2.5.0 | 148 | 1/4/2024 |
2.5.0-preview1 | 112 | 8/22/2023 |
2.4.2-preview1 | 106 | 6/19/2023 |
2.4.1 | 200 | 5/1/2023 |
2.4.0 | 264 | 3/23/2023 |
2.4.0-preview1 | 131 | 3/6/2023 |
2.3.0 | 281 | 2/24/2023 |
2.3.0-preview2 | 136 | 2/21/2023 |
2.3.0-preview1 | 134 | 1/16/2023 |
2.2.0 | 522 | 9/26/2022 |
2.2.0-preview1 | 160 | 8/16/2022 |
2.1.1 | 485 | 7/21/2022 |
2.1.0 | 529 | 7/13/2022 |
2.1.0-preview2 | 154 | 5/30/2022 |
2.1.0-preview1 | 174 | 4/20/2022 |
2.0.0 | 531 | 4/12/2022 |
2.0.0-rc1 | 165 | 4/11/2022 |
2.0.0-alpha5 | 157 | 3/29/2022 |
2.0.0-alpha4 | 147 | 3/27/2022 |