Symbolica.Abstraction 0.1.0

There is a newer prerelease version of this package available.
See the version list below for details.
Install-Package Symbolica.Abstraction -Version 0.1.0
dotnet add package Symbolica.Abstraction --version 0.1.0
<PackageReference Include="Symbolica.Abstraction" Version="0.1.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Symbolica.Abstraction --version 0.1.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Symbolica.Abstraction, 0.1.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Symbolica.Abstraction as a Cake Addin
#addin nuget:?package=Symbolica.Abstraction&version=0.1.0

// Install Symbolica.Abstraction as a Cake Tool
#tool nuget:?package=Symbolica.Abstraction&version=0.1.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Package Description

NuGet packages (3)

Showing the top 3 NuGet packages that depend on Symbolica.Abstraction:

Package Downloads
Symbolica.Representation

Package Description

Symbolica.Implementation

Package Description

Symbolica.Execution

Package Description

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.2.0-z3-test0029 178 6/7/2021
0.2.0-z3-test0028 173 6/7/2021
0.2.0-z3-test0024 143 6/7/2021
0.2.0-pullrequest0120-0103-... 0 1/25/2022
0.2.0-pullrequest0119-0106-... 0 1/24/2022
0.2.0-pullrequest0119-0104-... 0 1/24/2022
0.2.0-pullrequest0119-0102-... 0 1/24/2022
0.2.0-pullrequest0119-0101-... 0 1/24/2022
0.2.0-pullrequest0118-0098-... 0 1/24/2022
0.2.0-pullrequest0118-0098-... 0 1/24/2022
0.2.0-pullrequest0117-0097-... 0 1/24/2022
0.2.0-pullrequest0116-0096-... 0 1/21/2022
0.2.0-pullrequest0115-0095-... 0 1/21/2022
0.2.0-pullrequest0114-0095-... 0 1/21/2022
0.2.0-pullrequest0113-0093-... 0 1/20/2022
0.2.0-pullrequest0112-0093-... 0 1/20/2022
0.2.0-pullrequest0111-0093-... 0 1/20/2022
0.2.0-pullrequest0110-0092-... 0 1/20/2022
0.2.0-pullrequest0109-0089-... 0 1/20/2022
0.2.0-pullrequest0108-0089-... 0 1/20/2022
0.2.0-pullrequest0107-0089-... 0 1/20/2022
0.2.0-pullrequest0106-0088-... 9 1/20/2022
0.2.0-pullrequest0105-0104-... 6 1/20/2022
0.2.0-pullrequest0105-0093-... 12 1/19/2022
0.2.0-pullrequest0105-0092-... 12 1/19/2022
0.2.0-pullrequest0105-0089-... 9 1/19/2022
0.2.0-pullrequest0105-0088-... 13 1/19/2022
0.2.0-pullrequest0104-0088-... 13 1/19/2022
0.2.0-pullrequest0104-0087-... 12 1/18/2022
0.2.0-pullrequest0103-0094-... 14 1/17/2022
0.2.0-pullrequest0102-0085-... 18 1/7/2022
0.2.0-pullrequest0101-0085-... 16 1/7/2022
0.2.0-pullrequest0100-0084-... 18 1/7/2022
0.2.0-pullrequest0099-0091-... 14 1/17/2022
0.2.0-pullrequest0099-0090-... 11 1/17/2022
0.2.0-pullrequest0099-0089-... 14 1/17/2022
0.2.0-pullrequest0099-0088-... 17 1/14/2022
0.2.0-pullrequest0099-0087-... 18 1/7/2022
0.2.0-pullrequest0099-0083-... 19 1/6/2022
0.2.0-pullrequest0099-0083-... 18 1/7/2022
0.2.0-pullrequest0099-0083-... 18 1/7/2022
0.2.0-pullrequest0099-0083-... 20 1/7/2022
0.2.0-pullrequest0099-0083-... 18 1/7/2022
0.2.0-pullrequest0098-0080-... 31 12/20/2021
0.2.0-pullrequest0097-0080-... 29 12/20/2021
0.2.0-pullrequest0096-0086-... 19 1/7/2022
0.2.0-pullrequest0096-0085-... 18 1/7/2022
0.2.0-pullrequest0096-0084-... 20 1/7/2022
0.2.0-pullrequest0096-0080-... 31 12/20/2021
0.2.0-pullrequest0095-0080-... 31 12/14/2021
0.2.0-pullrequest0095-0080-... 30 12/23/2021
0.2.0-pullrequest0094-0099-... 0 1/24/2022
0.2.0-pullrequest0094-0099-... 0 1/24/2022
0.2.0-pullrequest0094-0099-... 0 1/24/2022
0.2.0-pullrequest0094-0080-... 43 12/10/2021
0.2.0-pullrequest0093-0079-... 43 12/8/2021
0.2.0-pullrequest0092-0077-... 37 12/8/2021
0.2.0-pullrequest0091-0079-... 38 12/8/2021
0.2.0-pullrequest0091-0077-... 39 12/8/2021
0.2.0-pullrequest0091-0077-... 31 12/7/2021
0.2.0-pullrequest0090-0082-... 41 12/9/2021
0.2.0-pullrequest0089-0076-... 43 12/7/2021
0.2.0-pullrequest0088-0078-... 113 11/10/2021
0.2.0-pullrequest0088-0075-... 107 11/10/2021
0.2.0-pullrequest0087-0075-... 108 11/9/2021
0.2.0-pullrequest0086-0075-... 131 11/9/2021
0.2.0-pullrequest0085-0073-... 102 11/9/2021
0.2.0-pullrequest0085-0072-... 97 11/9/2021
0.2.0-pullrequest0085-0072-... 112 11/8/2021
0.2.0-pullrequest0084-0072-... 98 11/8/2021
0.2.0-pullrequest0083-0073-... 104 11/9/2021
0.2.0-pullrequest0083-0072-... 97 11/8/2021
0.2.0-pullrequest0082-0071-... 147 10/27/2021
0.2.0-pullrequest0081-0069-... 170 10/27/2021
0.2.0-pullrequest0080-0068-... 168 10/12/2021
0.2.0-pullrequest0079-0067-... 140 10/12/2021
0.2.0-pullrequest0077-0067-... 117 9/23/2021
0.2.0-pullrequest0076-0065-... 138 9/23/2021
0.2.0-pullrequest0075-0065-... 100 9/23/2021
0.2.0-pullrequest0074-0065-... 127 9/23/2021
0.2.0-pullrequest0073-0064-... 175 9/22/2021
0.2.0-pullrequest0072-0061-... 136 9/22/2021
0.2.0-pullrequest0071-0061-... 142 9/22/2021
0.2.0-pullrequest0070-0062-... 146 9/22/2021
0.2.0-pullrequest0070-0061-... 147 9/22/2021
0.2.0-pullrequest0069-0065-... 180 9/22/2021
0.2.0-pullrequest0066-0060-... 119 9/21/2021
0.2.0-pullrequest0065-0059-... 141 9/21/2021
0.2.0-pullrequest0065-0058-... 198 9/20/2021
0.2.0-pullrequest0064-0057-... 141 9/20/2021
0.2.0-pullrequest0064-0056-... 157 9/18/2021
0.2.0-pullrequest0063-0059-... 128 9/20/2021
0.2.0-pullrequest0063-0058-... 126 9/19/2021
0.2.0-pullrequest0063-0057-... 125 9/19/2021
0.2.0-pullrequest0063-0057-... 157 9/18/2021
0.2.0-pullrequest0063-0056-... 123 9/18/2021
0.2.0-pullrequest0062-0056-... 159 9/18/2021
0.2.0-pullrequest0062-0055-... 144 9/17/2021
0.2.0-pullrequest0060-0054-... 127 9/6/2021
0.2.0-pullrequest0059-0053-... 136 9/6/2021
0.2.0-pullrequest0058-0052-... 156 9/5/2021
0.2.0-pullrequest0057-0051-... 122 9/5/2021
0.2.0-pullrequest0056-0053-... 126 9/3/2021
0.2.0-pullrequest0055-0049-... 128 9/2/2021
0.2.0-pullrequest0054-0047-... 129 9/1/2021
0.2.0-pullrequest0053-0047-... 128 9/1/2021
0.2.0-pullrequest0052-0048-... 139 8/31/2021
0.2.0-pullrequest0052-0047-... 137 8/31/2021
0.2.0-pullrequest0051-0046-... 127 8/31/2021
0.2.0-pullrequest0051-0045-... 139 8/31/2021
0.2.0-pullrequest0050-0045-... 118 8/29/2021
0.2.0-pullrequest0049-0044-... 141 8/28/2021
0.2.0-pullrequest0048-0043-... 150 8/28/2021
0.2.0-pullrequest0047-0045-... 119 8/28/2021
0.2.0-pullrequest0046-0041-... 140 8/28/2021
0.2.0-pullrequest0045-0041-... 134 8/27/2021
0.2.0-pullrequest0044-0040-... 125 8/27/2021
0.2.0-pullrequest0043-0040-... 130 8/27/2021
0.2.0-pullrequest0043-0037-... 147 8/27/2021
0.2.0-pullrequest0042-0039-... 131 8/27/2021
0.2.0-pullrequest0042-0036-... 156 8/27/2021
0.2.0-pullrequest0041-0036-... 153 8/27/2021
0.2.0-pullrequest0040-0039-... 152 8/27/2021
0.2.0-pullrequest0039-0042-... 122 8/25/2021
0.2.0-pullrequest0039-0041-... 130 8/24/2021
0.2.0-pullrequest0039-0040-... 146 8/24/2021
0.2.0-pullrequest0038-0036-... 136 8/23/2021
0.2.0-pullrequest0038-0034-... 133 8/20/2021
0.2.0-pullrequest0037-0033-... 144 8/16/2021
0.2.0-pullrequest0036-0032-... 128 8/12/2021
0.2.0-pullrequest0035-0033-... 138 8/11/2021
0.2.0-pullrequest0035-0032-... 119 8/11/2021
0.2.0-pullrequest0035-0031-... 124 8/11/2021
0.2.0-pullrequest0034-0030-... 127 8/8/2021
0.2.0-pullrequest0032-0028-... 191 8/5/2021
0.2.0-pullrequest0031-0027-... 127 8/5/2021
0.2.0-pullrequest0029-0026-... 155 7/23/2021
0.2.0-pullrequest0028-0082-... 159 7/22/2021
0.2.0-pullrequest0028-0078-... 132 7/22/2021
0.2.0-pullrequest0028-0077-... 133 7/22/2021
0.2.0-pullrequest0028-0054-... 161 7/21/2021
0.2.0-pullrequest0028-0052-... 187 7/21/2021
0.2.0-pullrequest0028-0035-... 151 7/14/2021
0.2.0-pullrequest0028-0029-... 135 7/13/2021
0.2.0-pullrequest0027-0023-... 135 6/17/2021
0.2.0-pullrequest0026-0025-... 197 6/11/2021
0.2.0-pullrequest0026-0024-... 186 6/11/2021
0.2.0-pullrequest0026-0023-... 192 6/11/2021
0.2.0-pullrequest0026-0022-... 186 6/10/2021
0.2.0-pullrequest0025-0020-... 134 6/4/2021
0.2.0-pullrequest0024-0023-... 129 6/4/2021
0.2.0-pullrequest0024-0021-... 155 6/4/2021
0.2.0-pullrequest0023-0019-... 141 6/1/2021
0.2.0-pullrequest0022-0018-... 156 6/1/2021
0.2.0-pullrequest0021-0017-... 170 5/31/2021
0.2.0-pullrequest0020-0017-... 148 5/28/2021
0.2.0-pullrequest0020-0016-... 154 5/28/2021
0.2.0-pullrequest0019-0015-... 166 5/28/2021
0.2.0-pullrequest0018-0014-... 143 5/28/2021
0.2.0-pullrequest0017-0013-... 148 5/25/2021
0.2.0-pullrequest0016-0011-... 144 5/25/2021
0.2.0-pullrequest0015-0012-... 156 5/25/2021
0.2.0-pullrequest0015-0011-... 182 5/25/2021
0.2.0-pullrequest0014-0009-... 189 5/24/2021
0.2.0-pullrequest0013-0009-... 188 5/24/2021
0.2.0-pullrequest0012-0035-... 250 6/25/2021
0.2.0-pullrequest0012-0034-... 168 6/25/2021
0.2.0-pullrequest0012-0033-... 167 6/25/2021
0.2.0-pullrequest0012-0031-... 187 6/11/2021
0.2.0-pullrequest0011-0009-... 131 5/20/2021
0.2.0-pullrequest0010-0011-... 140 5/20/2021
0.2.0-pullrequest0010-0008 154 5/20/2021
0.2.0-pullrequest0010-0007 172 5/20/2021
0.2.0-pullrequest0009-0006 176 5/20/2021
0.2.0-pullrequest0008-0004 150 5/20/2021
0.2.0-pullrequest0007-0014 135 5/20/2021
0.2.0-pullrequest0007-0012 146 5/20/2021
0.2.0-pullrequest0007-0011 141 5/20/2021
0.2.0-pullrequest0007-0010 128 5/20/2021
0.2.0-pullrequest0007-0009 139 5/20/2021
0.2.0-pullrequest0007-0008 127 5/20/2021
0.2.0-pullrequest0007-0007 124 5/20/2021
0.2.0-pullrequest0007-0004 122 5/19/2021
0.2.0-pullrequest0007-0003 125 5/19/2021
0.2.0-pullrequest0007-0002 121 5/19/2021
0.2.0-pullrequest0006-0002 110 5/19/2021
0.2.0-pullrequest0005-0002 127 5/19/2021
0.2.0-master0098 0 1/25/2022
0.2.0-master0097 0 1/24/2022
0.2.0-master0096 0 1/24/2022
0.2.0-master0095 0 1/21/2022
0.2.0-master0094 0 1/21/2022
0.2.0-master0093 0 1/20/2022
0.2.0-master0092 0 1/20/2022
0.2.0-master0091 0 1/20/2022
0.2.0-master0090 0 1/20/2022
0.2.0-master0089 0 1/20/2022
0.2.0-master0088 0 1/20/2022
0.2.0-master0087 0 1/20/2022
0.2.0-master0086 11 1/19/2022
0.2.0-master0085 14 1/17/2022
0.2.0-master0084 19 1/7/2022
0.2.0-master0083 19 1/7/2022
0.2.0-master0082 19 1/7/2022
0.2.0-master0081 22 12/28/2021
0.2.0-master0080 23 12/28/2021
0.2.0-master0079 23 12/28/2021
0.2.0-master0078 32 12/10/2021
0.2.0-master0077 39 12/8/2021
0.2.0-master0076 34 12/8/2021
0.2.0-master0075 33 12/7/2021
0.2.0-master0074 543 12/1/2021
0.2.0-master0073 112 11/10/2021
0.2.0-master0072 83 11/9/2021
0.2.0-master0071 113 11/9/2021
0.2.0-master0070 99 11/8/2021
0.2.0-master0069 149 10/27/2021
0.2.0-master0068 144 10/27/2021
0.2.0-master0067 128 10/13/2021
0.2.0-master0066 132 10/12/2021
0.2.0-master0065 205 9/24/2021
0.2.0-master0064 131 9/23/2021
0.2.0-master0063 142 9/23/2021
0.2.0-master0062 128 9/22/2021
0.2.0-master0061 135 9/22/2021
0.2.0-master0060 141 9/22/2021
0.2.0-master0059 120 9/22/2021
0.2.0-master0058 121 9/22/2021
0.2.0-master0057 162 9/21/2021
0.2.0-master0056 135 9/20/2021
0.2.0-master0055 139 9/20/2021
0.2.0-master0054 133 9/18/2021
0.2.0-master0053 135 9/6/2021
0.2.0-master0052 131 9/6/2021
0.2.0-master0051 124 9/6/2021
0.2.0-master0050 158 9/5/2021
0.2.0-master0049 125 9/3/2021
0.2.0-master0048 197 9/2/2021
0.2.0-master0047 138 9/1/2021
0.2.0-master0046 131 9/1/2021
0.2.0-master0045 148 8/31/2021
0.2.0-master0044 120 8/31/2021
0.2.0-master0043 131 8/29/2021
0.2.0-master0042 150 8/28/2021
0.2.0-master0041 152 8/28/2021
0.2.0-master0040 122 8/28/2021
0.2.0-master0039 125 8/27/2021
0.2.0-master0038 124 8/27/2021
0.2.0-master0037 130 8/27/2021
0.2.0-master0036 140 8/27/2021
0.2.0-master0035 140 8/27/2021
0.2.0-master0034 157 8/25/2021
0.2.0-master0033 141 8/23/2021
0.2.0-master0031 144 8/12/2021
0.2.0-master0029 148 8/9/2021
0.2.0-master0028 153 8/7/2021
0.2.0-master0026 201 8/5/2021
0.2.0-master0025 131 7/23/2021
0.2.0-master0024 328 7/22/2021
0.2.0-master0023 500 6/25/2021
0.2.0-master0022 154 6/17/2021
0.2.0-master0021 278 6/11/2021
0.2.0-master0020 181 6/4/2021
0.2.0-master0019 127 6/4/2021
0.2.0-master0018 139 6/1/2021
0.2.0-master0017 236 6/1/2021
0.2.0-master0016 162 6/1/2021
0.2.0-master0015 174 5/28/2021
0.2.0-master0014 169 5/28/2021
0.2.0-master0013 176 5/28/2021
0.2.0-master0012 168 5/25/2021
0.2.0-master0011 139 5/25/2021
0.2.0-master0010 165 5/25/2021
0.2.0-master0009 145 5/25/2021
0.2.0-master0008 187 5/24/2021
0.2.0-master0007 128 5/20/2021
0.2.0-master0006 138 5/20/2021
0.2.0-master0005 162 5/20/2021
0.2.0-master0004 131 5/20/2021
0.2.0-master0003 138 5/20/2021
0.2.0-master0002 151 5/20/2021
0.2.0-master0001 153 5/20/2021
0.2.0-dodgy-translate0047 120 9/1/2021
0.2.0-context-workarou0022 181 6/10/2021
0.1.0 203 5/19/2021
0.1.0-pullrequest0004-0005 119 5/19/2021
0.1.0-pullrequest0003-0004 123 5/19/2021
0.1.0-pullrequest0002-0003 129 5/19/2021
0.1.0-pullrequest0001-0003 140 5/19/2021
0.1.0-pullrequest0001-0002 139 5/19/2021
0.1.0-master0004 141 5/19/2021
0.1.0-master0002 125 5/19/2021