Skip to main content


A constraint caching framework based on Green
targeted at tools that use model-counting solvers.
Now with support for string operations, too!


Cashew is a framework that allows tools based on constraint solving to cache the results of SMT, satisfiability, model-counting, and other similar queries.

Cashew is built on top of Green. Its integration with your tool is just as easy as integrating Green. It is also fully backward-compatible with Green.

Cashew provides a new, more aggressive normalization procedure that reduces constraints with the same number of solutions to the same normal form.

Cashew also enables the caching of model-counting objects -- not just numeric model counts, but model counting functions, too, in order to exploit parameterized model-counting constraint solvers.

Cashew also adds support (and extends the normalization procedure) to handle string operations in constraints.

Contact Us