FirstOrderLogicLib
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 project using the tools and addresses described below.
NuGet (nuget.exe)
- Installing the package (HTTP Basic authentication):
-
nuget install FirstOrderLogicLib -Source http://nuget.gw.symbolsource.org/Public/NuGet/FeedService.mvc
- Installing the package (pre-authenticated):
-
nuget install FirstOrderLogicLib -Source http://nuget.gw.symbolsource.org/Public/%login%/%key%/NuGet/FeedService.mvc
NuGet (Package Manager Console)
- Installing the package (search all configured feeds):
-
Install-Package FirstOrderLogicLib
- Installing the package (HTTP Basic authentication):
-
Install-Package FirstOrderLogicLib -Source http://nuget.gw.symbolsource.org/Public/NuGet/FeedService.mvc
- Installing the package (pre-authenticated):
-
Install-Package FirstOrderLogicLib -Source http://nuget.gw.symbolsource.org/Public/%login%/%key%/NuGet/FeedService.mvc
- Uinstalling the package:
-
Uninstall-Package FirstOrderLogicLib
OpenWrap
- Installing the package:
-
o add-wrap FirstOrderLogicLib
- Uninstalling the package:
-
o remove-wrap FirstOrderLogicLib
Versions
A version is snapshot of a project's source code. It does not need to follow the Major.Minor.Revision.Build numbering pattern. It can be an arbitrary string of text that identifies a release or a build, in particular including meaningful words like beta, RC or RTM.