deiruch.SATInterface

Library to formulate and solve SAT problems in .NET.

Includes CaDiCaL, Kissat, CryptoMiniSat and YalSAT as solvers.

Version:	5.1.4
Author(s):	Simon Felix
Last Update:	Friday, February 23, 2024
.NET Fiddle:	Create the first Fiddle
Project Url:	https://github.com/deiruch/SATInterface
NuGet Url:	https://www.nuget.org/packages/deiruch.SATInterface

NuGet .NET CLI Paket CLIR Direct Download

Install-Package deiruch.SATInterface

dotnet add package deiruch.SATInterface

paket add deiruch.SATInterface


                                deiruch.SATInterface Download (Unzip the "nupkg" after downloading)

deiruch.SATInterface NuGet Package