MergeSat

From MaRDI portal

Software:1353484

Jump to:navigation, search

swMATH41637MaRDI QIDQ1353484FDOQ1353484

Author name not available (Why is that?)

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

Described by source

The \textsc{MergeSat} solver

This page was built for software: MergeSat

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:1353484&oldid=29551641"