sat-inv-matrix. Implementing integer matrix inversion with SAT solver

github.com/vzhn/sat-inv-matrix
by @vzhn

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.