Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
nuget.org "SMT" keyword
aliexpresssdk 1.1.2
AliExpressSDK 阿里速卖通开放平台SDK C#版本 官网 http://open.aliexpress.com/ 开源 https://github.com/mccj/AliExp...4 versions - Latest release: over 124 years ago
tipi.tools.email.emailsender 1.0.9
This package is making it easier to interact with SMTsender6 versions - Latest release: almost 2 years ago - 2.52 thousand downloads total - 1 maintainer
multiplug.ext.asm.dek 1.0.5
MultiPlug Extension for ASM DEK Printing Machines6 versions - Latest release: over 3 years ago - 3.27 thousand downloads total - 0 stars on GitHub - 1 maintainer
smttech.mes.api.entities 1.0.2
Package Description3 versions - Latest release: about 1 month ago - 286 downloads total - 1 maintainer
z3.linq.examples 2.0.1
Sample Theorems for Sudoku and River Crossing problems.6 versions - Latest release: 3 months ago - 1.46 thousand downloads total - 30 stars on GitHub - 1 maintainer
z3.linq 2.0.1
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a...6 versions - Latest release: 3 months ago - 1 dependent package - 1.99 thousand downloads total - 30 stars on GitHub - 1 maintainer
ipc.hermes9852.models 1.5.4
XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'10 versions - Latest release: about 2 months ago - 1 dependent package - 3.11 thousand downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
Z3
2
LINQ
2
Solver
2
Bart
2
De
2
Smet
2
dotnet
2
linq
2
z3
2
IPC
1
IPC_HERMES_9852
1
Hermes
1
9852
1
The_Hermes_Standard
1
Sudoku
1
Examples
1
Industry40
1
Smart_Factory
1
ipc-hermes-9852
1
AliExpress
1
SDK
1
AliExpressSDK
1
阿里
1
速卖通
1
c#
1
Sender
1
Email
1
mail
1
ASM
1
DEK
1
Printing
1
Stencil
1
Edge
1
Fog_Computing
1
Edge_Computing
1
MES
1
SMD
1