smbc. Experimental model finder/SMT solver for functional programming.

github.com/c-cube/smbc

by

@c-cube

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.