Popular repositories Loading

1. SATInterface SATInterface Public

   Library to formulate SAT problems in .NET

   C# 8

2. osqp-net osqp-net Public

   A modern .NET interface for the OSQP (Operator Splitting Quadratic Program) solver. This library provides both a high-level modelling API and a low-level native wrapper.

   Linear Programming 2

3. kissat kissat Public

   Forked from arminbiere/kissat

   C 1

4. ipopt-net ipopt-net Public

   A modern .NET interface for IPOPT (Interior Point OPTimizer), a software library for large-scale nonlinear optimization. This library provides both a high-level modeling API with automatic differen…

   C# 1

5. PFSSCompression PFSSCompression Public

   Forked from lord-blueberry/PFSSCompression

   C#

6. cryptominisat cryptominisat Public

   Forked from msoos/cryptominisat

   An advanced SAT solver

   C++