@hackage / yices-painless

An embedded language for programming the Yices SMT solver

Latest0.1.2

Changelog

This release does not have a Changelog