The server accepts three kinds of formats:

1. The DIMACS format for Max-Sat instances
2. The format for Polynomial 0-1 instances
3. The format for General Logic Optimization