deiruch
-
- Deprecated
- 105,906 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
- 23,030 total downloads
- last updated 4/6/2016
- Latest version: 1.3.0
Determines sentiments and detects 17 languages (including English, German, Italian and French). -
- 2,296 total downloads
- last updated 4/19/2026
- Latest version: 3.14.19.22
A .NET interface for the IPOPT nonlinear optimization solver with automatic differentiation. -
- 1,766 total downloads
- last updated 3/1/2026
- Latest version: 3.0.10
Collection of useful classes and extensions. -
- 382 total downloads
- last updated 1/25/2026
- Latest version: 1.0.0.2
A .NET interface for the OSQP solver. -
- 188 total downloads
- last updated 4/23/2026
- Latest version: 5.3.0
Library to formulate and solve SAT problems in .NET. Includes CaDiCaL, Kissat, CryptoMiniSat and YalSAT as solvers.