swMATH41081MaRDI QIDQ1354215FDOQ1354215
Author name not available (Why is that?)
Official website: https://maxtuno.github.io/slime-sat-solver/
Source code repository: https://github.com/maxtuno/slime-sat-solver
Cited In (1)
This page was built for software: SLIME
