Developer Docs

Build And Compilation

• Compilation
  • Recommended Workflow
  • Installing
  • Optional CPLEX-backed MaxHS / iMaxHS
  • Optional OptiLog Formula Support
• Bindings Reference
  • pybind11
  • Conventions
  • UWrMaxSAT (IPAMIR)
  • UWrMaxSAT
  • CASHWMaxSAT
  • EvalMaxSAT
  • EvalMaxSAT (IPAMIR)
  • Open-WBO-Inc (Incomplete)
  • TT Open-WBO-Inc (Incomplete)
  • Open-WBO Algorithms
  • Loandra
  • NuWLS-c-IBR
  • SPB-MaxSAT-c-FPS
  • WMaxCDCL
  • References

Testing

• Testing
  • Test Entrypoints
  • Compliance Matrix
  • Fuzzing And Delta Debugging
  • Randomized Real-Instance Testing
  • References

Subprocess And Runtime

• Solver Subprocess Isolation
  • Why this exists
  • Architecture
  • Time Limits
  • Portfolio reuse
  • Assumptions And Incrementality
  • Result Validation

Project Notes

• Acknowledgments
  • Citing Hermax
  • Solver References
  • SAT Solvers
  • Python and SAT References
  • MaxSAT References