SCFirstOrderLogic 1.0.0-pre.1
This is a prerelease version of SCFirstOrderLogic.
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 SCFirstOrderLogic --version 1.0.0-pre.1
NuGet\Install-Package SCFirstOrderLogic -Version 1.0.0-pre.1
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="SCFirstOrderLogic" Version="1.0.0-pre.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add SCFirstOrderLogic --version 1.0.0-pre.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: SCFirstOrderLogic, 1.0.0-pre.1"
#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 SCFirstOrderLogic as a Cake Addin
#addin nuget:?package=SCFirstOrderLogic&version=1.0.0-pre.1&prerelease
// Install SCFirstOrderLogic as a Cake Tool
#tool nuget:?package=SCFirstOrderLogic&version=1.0.0-pre.1&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Basic first-order logic inference engine, primarily for learning and experimentation. Includes multiple ways to write sentences, and knowledge base implementations that allow for proof tree retrieval.
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
- No dependencies.
NuGet packages (1)
Showing the top 1 NuGet packages that depend on SCFirstOrderLogic:
Package | Downloads |
---|---|
SCClassicalPlanning
Basic but fully functional and documented classical planning implementations. Somewhat influenced by "Artificial Intelligence: A Modern Approach" (Russell & Norvig). Includes state- and goal-space search as well as a GraphPlan implementation. |
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
5.3.0 | 99 | 1/21/2024 |
5.2.0 | 115 | 12/22/2023 |
5.1.0 | 150 | 8/12/2023 |
5.0.0 | 148 | 7/23/2023 |
5.0.0-pre.3 | 86 | 7/22/2023 |
5.0.0-pre.2 | 75 | 7/16/2023 |
5.0.0-pre.1 | 80 | 7/9/2023 |
4.2.0 | 159 | 5/29/2023 |
4.1.2 | 188 | 4/1/2023 |
4.1.1 | 297 | 3/9/2023 |
4.1.0 | 199 | 3/6/2023 |
4.0.0 | 299 | 2/26/2023 |
4.0.0-pre.5 | 82 | 2/24/2023 |
4.0.0-pre.4 | 86 | 2/8/2023 |
4.0.0-pre.3 | 88 | 2/6/2023 |
4.0.0-pre.2 | 84 | 2/5/2023 |
4.0.0-pre.1 | 86 | 1/18/2023 |
3.1.4 | 389 | 1/11/2023 |
3.1.3 | 271 | 12/24/2022 |
3.1.2 | 407 | 11/14/2022 |
3.1.1 | 300 | 11/13/2022 |
3.1.0 | 339 | 11/13/2022 |
3.0.0 | 365 | 11/5/2022 |
3.0.0-pre.3 | 105 | 11/4/2022 |
3.0.0-pre.2 | 124 | 10/24/2022 |
3.0.0-pre.1 | 123 | 10/21/2022 |
2.1.3 | 551 | 10/9/2022 |
2.1.2 | 389 | 10/9/2022 |
2.1.1 | 358 | 10/5/2022 |
2.1.0 | 786 | 10/5/2022 |
2.1.0-pre.5 | 114 | 10/3/2022 |
2.1.0-pre.4 | 98 | 9/29/2022 |
2.1.0-pre.3 | 93 | 9/29/2022 |
2.1.0-pre.2 | 97 | 9/28/2022 |
2.1.0-pre.1 | 97 | 9/28/2022 |
2.0.0 | 390 | 9/26/2022 |
1.1.0 | 406 | 9/16/2022 |
1.0.2 | 399 | 9/12/2022 |
1.0.1 | 420 | 9/11/2022 |
1.0.0 | 385 | 9/7/2022 |
1.0.0-pre.1 | 106 | 9/7/2022 |