deiruch
-
- 85,121 total downloads
- last updated 2/23/2024
- Latest version: 5.1.4
Library to formulate and solve SAT problems in .NET. Includes CaDiCaL, Kissat, CryptoMiniSat and YalSAT as solvers. -
- Deprecated
- 20,151 total downloads
- last updated 4/6/2016
- Latest version: 1.3.0
Determines sentiments and detects 17 languages (including English, German, Italian and French). -
- 4,853 total downloads
- last updated 7 months ago
- Latest version: 2.2.0
Collection of useful classes and extensions. -
- 835 total downloads
- last updated 3 months ago
- Latest version: 3.0.8
Collection of useful classes and extensions.