deiruch
-
- Deprecated
- 106,825 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,102 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,991 total downloads
- last updated 4/27/2026
- Latest version: 3.14.19.25
A .NET interface for the IPOPT nonlinear optimization solver with automatic differentiation. -
- 1,849 total downloads
- last updated 3/1/2026
- Latest version: 3.0.10
Collection of useful classes and extensions. -
- 666 total downloads
- last updated 1/25/2026
- Latest version: 1.0.0.2
A .NET interface for the OSQP solver. -
- 321 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.