1.0.0
Metadata
Authors | Khazuar |
---|---|
Copyrights | Copyright 2014 |
Description | Provides data-structures to describe FO-formulas, predicate logic and a lot of predefined visitors and extension-methods to manipulate them. |
LicenseUrl | https://github.com/Miaplaza/FirstOrderLogicLib/blob/master/LICENSE |
Owners | MiaPlaza |
ProjectUrl | https://github.com/Miaplaza/FirstOrderLogicLib |
RequireLicenseAcceptance | False |
Tags | Logic Formulas |
Title | FirstOrderLogicLib |
PackageSize | 46967 |
PackageHashAlgorithm | SHA512 |
PackageHash | asrAhah4DuT8lPyhiv8Unl8jba7sffJ7N2Hp78zMbXSZvl1ONIIyh3O0uZFF0iu8pU2s6yJibP8zGKv8p79zaA== |
DownloadCount | 000000 |
CreatedDate | 2014-09-16T06:54:24 |
Access
You can access data for this version using the tools and addresses described below.
NuGet (nuget.exe)
- Installing the package (HTTP Basic authentication):
-
nuget install FirstOrderLogicLib -Version 1.0.0 -Source http://nuget.gw.symbolsource.org/Public/NuGet/FeedService.mvc
- Installing the package (pre-authenticated):
-
nuget install FirstOrderLogicLib -Version 1.0.0 -Source http://nuget.gw.symbolsource.org/Public/%login%/%key%/NuGet/FeedService.mvc
- Deleting the package from the server (for each registered key):
-
nuget delete FirstOrderLogicLib 1.0.0 %key% -Source http://nuget.gw.symbolsource.org/Public/NuGet
NuGet (Package Manager Console)
- Installing the package (HTTP Basic authentication):
-
Install-Package FirstOrderLogicLib -Version 1.0.0 -Source http://nuget.gw.symbolsource.org/Public/NuGet/FeedService.mvc
- Installing the package (pre-authenticated):
-
Install-Package FirstOrderLogicLib -Version 1.0.0 -Source http://nuget.gw.symbolsource.org/Public/%login%/%key%/NuGet/FeedService.mvc
OpenWrap
- Installing the package:
-
o add-wrap FirstOrderLogicLib -Version 1.0.0
- Uninstalling the package:
-
o remove-wrap FirstOrderLogicLib
Compilations
A compilation is created for every set of binaries produced from a single unchanged set of sources in different compilation modes (Debug, Release), for different platforms (x86, x64) or targetting different frameworks.
Profile | Mode | Platform | Related |
---|---|---|---|
AnyCPU | Release | .NETFramework,Version=v4.5 | Binaries |