GitHub repository: nano-byte/sat-solver
Primary language: C#
Created: 2018-11-13T17:15:13Z
Description: DPLL boolean satisfiability solver for .NET