deiruch
-
- 81,184 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
- 19,257 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,614 total downloads
- last updated 9/28/2024
- Latest version: 2.2.0
Collection of useful classes and extensions. -
- 408 total downloads
- last updated 1/4/2025
- Latest version: 3.0.8
Collection of useful classes and extensions.