MergeSat

swMATH41637MaRDI QIDQ1353484FDOQ1353484

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-80223-3_27

Source code repository: https://github.com/conp-solutions/mergesat

Described by source

• The \textsc{MergeSat} solver

Cited In (5)

• OptiLog
• PyMiniSolvers
• SATisPy
• EPFL
• probSAT

This page was built for software: MergeSat