satisfiability. High level and (hopefully) language-agnostic SAT tools, http://kmkeen.com/sat/

github.com/keenerd/satisfiability

Problem

Audience

Updates

No founder updates yet. Check back soon.