SCFirstOrderLogic 1.0.0-pre.1
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
<PackageReference Include="SCFirstOrderLogic" Version="1.0.0-pre.1" />
paket add SCFirstOrderLogic --version 1.0.0-pre.1
#r "nuget: SCFirstOrderLogic, 1.0.0-pre.1"
// 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
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. |
-
net6.0
- No dependencies.
NuGet packages (3)
Showing the top 3 NuGet packages that depend on SCFirstOrderLogic:
| Package | Downloads |
|---|---|
|
SCClassicalPlanning
Basic classical planning implementations. Includes a simple model for planning problems, as well planners that implement state-space search, goal-space search, and GraphPlan. |
|
|
SCFirstOrderLogic.Inference.Basic
Very basic knowledge base implementations that use the models defined by the SCFirstOrderLogic package. |
|
|
SCFirstOrderLogic.ExampleDomains
A few simple first-order logic domains declared using the models found in the SCFirstOrderLogic package - for use in tests and demos. |
GitHub repositories
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last updated |
|---|---|---|
| 7.0.0-pre.2 | 57 | 8/27/2024 |
| 7.0.0-pre.1 | 95 | 8/3/2024 |
| 6.0.0 | 173 | 7/7/2024 |
| 6.0.0-pre.3 | 43 | 7/7/2024 |
| 6.0.0-pre.2 | 47 | 7/6/2024 |
| 6.0.0-pre.1 | 155 | 6/9/2024 |
| 5.5.0 | 122 | 6/8/2024 |
| 5.4.0 | 112 | 5/26/2024 |
| 5.3.0 | 144 | 1/21/2024 |
| 5.2.0 | 160 | 12/22/2023 |
| 5.1.0 | 190 | 8/12/2023 |
| 5.0.0 | 175 | 7/23/2023 |
| 5.0.0-pre.3 | 100 | 7/22/2023 |
| 5.0.0-pre.2 | 88 | 7/16/2023 |
| 5.0.0-pre.1 | 86 | 7/9/2023 |
| 4.2.0 | 185 | 5/29/2023 |
| 4.1.2 | 224 | 4/1/2023 |
| 4.1.1 | 332 | 3/9/2023 |
| 4.1.0 | 230 | 3/6/2023 |
| 4.0.0 | 334 | 2/26/2023 |
| 4.0.0-pre.5 | 90 | 2/24/2023 |
| 4.0.0-pre.4 | 100 | 2/8/2023 |
| 4.0.0-pre.3 | 94 | 2/6/2023 |
| 4.0.0-pre.2 | 97 | 2/5/2023 |
| 4.0.0-pre.1 | 94 | 1/18/2023 |
| 3.1.4 | 433 | 1/11/2023 |
| 3.1.3 | 291 | 12/24/2022 |
| 3.1.2 | 462 | 11/14/2022 |
| 3.1.1 | 340 | 11/13/2022 |
| 3.1.0 | 361 | 11/13/2022 |
| 3.0.0 | 394 | 11/5/2022 |
| 3.0.0-pre.3 | 113 | 11/4/2022 |
| 3.0.0-pre.2 | 133 | 10/24/2022 |
| 3.0.0-pre.1 | 139 | 10/21/2022 |
| 2.1.3 | 585 | 10/9/2022 |
| 2.1.2 | 437 | 10/9/2022 |
| 2.1.1 | 398 | 10/5/2022 |
| 2.1.0 | 859 | 10/5/2022 |
| 2.1.0-pre.5 | 130 | 10/3/2022 |
| 2.1.0-pre.4 | 107 | 9/29/2022 |
| 2.1.0-pre.3 | 102 | 9/29/2022 |
| 2.1.0-pre.2 | 112 | 9/28/2022 |
| 2.1.0-pre.1 | 111 | 9/28/2022 |
| 2.0.0 | 417 | 9/26/2022 |
| 1.1.0 | 446 | 9/16/2022 |
| 1.0.2 | 439 | 9/12/2022 |
| 1.0.1 | 438 | 9/11/2022 |
| 1.0.0 | 431 | 9/7/2022 |
| 1.0.0-pre.1 | 115 | 9/7/2022 |