deiruch
-
- Deprecated
- 107,936 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,261 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,495 total downloads
- last updated 8/28/2026
- Latest version: 3.14.20.32
A .NET interface for the IPOPT nonlinear optimization solver with automatic differentiation. -
- 1,999 total downloads
- last updated 3/1/2026
- Latest version: 3.0.10
Collection of useful classes and extensions. -
- 989 total downloads
- last updated 1/25/2026
- Latest version: 1.0.0.2
A .NET interface for the OSQP solver. -
- 416 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.