BitVectorDemos. Some small demo scripts for SMTLIB and Z3 basics

github.com/SeanHeelan/BitVectorDemos
by @SeanHeelan

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.