"""
PySAT templates for common constraint patterns.
This module provides templated solutions for common constraint patterns
to make it easier to model problems with PySAT.
"""
# Import templates from other modules
from .basic_templates import *
from .cardinality_templates import *
from .mapping import VariableMap
# MaxSAT functionality removed
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/szeider/mcp-solver'
If you have feedback or need assistance with the MCP directory API, please join our Discord server