deiruch 

Library to formulate and solve SAT problems in .NET. Includes CaDiCaL, Kissat, CryptoMiniSat and YalSAT as solvers.

Determines sentiments and detects 17 languages (including English, German, Italian and French).

Collection of useful classes and extensions.