Menu

Skip to content
  • Home
  • The server
    • The input formats
      • The BINPOLOPT Format
      • The LOGOPT Format
      • The Max-Cut format
      • The DIMACS Max-Sat Format
    • The output formats
      • The BINPOLOPT output
      • The DIMACS Max-Sat output
      • The LOGOPT output
      • The Max-Cut output
    • Limitations
  • Special cases
    • Max-Cut
  • Write to LogOptimize

we.logoptimize.it

the portal of 0-1 optimization

The input formats

The server accepts four kinds of formats:

  • The DIMACS format for Max-Sat instances
  • The format for Polynomial 0-1 instances
  • The format for General Logic Optimization
  • The MAX-CUT format
Home » The input formats

LogOptimize is up again

After a period of inactivity, due to technical problems, the portal is up again. We apologize for the inconvenience.

About this site

WE.LOGOPTIMIZE.IT is the web site of a virtual laboratory where an international team of researchers develops methods, algorithms and software for solving hard logic (or 0-1) optimization problems to certified optimality.

The main purpose of the web site is to provide the visitor with a friendly access to a solver to which instances of these problems can be freely submitted.

Million-node Max-Cut instances

The server is now powered by SpeeDP, an algorithm able to solve million-node instances of Max-Cut