millisat. A single-file Python CDCL SAT solver

github.com/aaw/millisat
by @aaw

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.