Closed na4zagin3 closed 4 years ago
This PR introduces RunSatysfi module, which is to provide a functionality to run SATySFi with specified Satyrographos libraries.
This PR introduces RunSatysfi module, which is to provide a functionality to run SATySFi with specified Satyrographos libraries.