Scranfilize
From MaRDI portal
swMATH44137MaRDI QIDQ1349865FDOQ1349865
Author name not available (Why is that?)
Official website: http://fmv.jku.at/scranfilize/
Source code repository: https://github.com/arminbiere/scranfilize
This page was built for software: Scranfilize