smbc

Experimental model finder/SMT solver for functional programming