Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
mscg [2016/10/17 15:23]
ajrm [Distribution]
mscg [2018/02/22 16:39] (current)
ajrm
Line 1: Line 1:
 ====== MSCG - Maximum Satisfiability:​ a Core-Guided approach ====== ​ ====== MSCG - Maximum Satisfiability:​ a Core-Guided approach ====== ​
  
 +Linear optimization over Boolean domains, implementing a core-guided
 +approach.
  
 ==== Description ==== ==== Description ====
  
-MSCG is a software system for solving (Weighted) (Partial) ​Maximum Satisfiability (MaxSAT), ​and implements different core-guided algorithms according to the type of instance considered. +MSCG solves linear optimization problems defined over Boolean domains, 
-\\+which is commonly referred to as the Maximum Satisfiability (MaxSAT) 
 +problem. ConcretelyMSCG is a high-performance example of the family 
 +of core-guide MaxSAT solvers.
  
  
Line 15: Line 19:
   * Download (2015a): {{:​tools:​mscg15a-linux-x86-64.gz|Linux x86-64 binary}} , {{:​tools:​mscg15a-macosx-x86-64.gz|MacOS X Mavericks x86-64 binary}}   * Download (2015a): {{:​tools:​mscg15a-linux-x86-64.gz|Linux x86-64 binary}} , {{:​tools:​mscg15a-macosx-x86-64.gz|MacOS X Mavericks x86-64 binary}}
   * Download (2015b): {{:​tools:​mscg15b-linux-x86-64.gz|Linux x86-64 binary}} , {{:​tools:​mscg15b-macosx-x86-64.gz|MacOS X Mavericks x86-64 binary}}   * Download (2015b): {{:​tools:​mscg15b-linux-x86-64.gz|Linux x86-64 binary}} , {{:​tools:​mscg15b-macosx-x86-64.gz|MacOS X Mavericks x86-64 binary}}
 +
 ==== Documentation ==== ==== Documentation ====
  
Print/export