maxsaxedesign

There are 0 repository under maxsaxedesign 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

• MaXSaxeDesignSmartHome / README

  MaX Saxe Design Smart Home README

  maxsaxedesignmax-saxe-designsmarthomesmart-homereadme
  0