/CVC4SepLogic

A fork of CVC4 for developing a theory solver for separation logic.

Primary LanguageSMTOtherNOASSERTION

Stargazers

No one’s star this repository yet.