Authors
=======

`ersatz` started as a one man project by [Edward Kmett](mailto:ekmett@gmail.com) [@ekmett](https://github.com/ekmett).
However, it then languished for 3 years after Don Stewart [@donsbot](https://github.com/donsbot) released perfectly adequate bindings for yices.

It revived by [Johan Kiviniemi](mailto:lens@johan.kiviniemi.name) [@ion1](https://github.com/ion1) after he
shamed the original author into polishing it up and releasing it.

Omission from this page is by no means an attempt to discount your contributions! Thank you for all of your help!

-Edward Kmett