minimally-unsatisfiable-subset

There are 0 repository under minimally-unsatisfiable-subset topic.

• Sat4.NET

  ChiefMonk / Sat4.NET

  The boolean satisfaction and optimization library for .NET

  boolean-satisfiabilitymaxsatmaxsat-solvermaxsaxedesignoptimisation-problempseudo-booleansatsat-solverminimally-unsatisfiable-subset
  Language:C# 2