An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization - View it on GitHub