Fetching contributors…
Cannot retrieve contributors at this time
14 lines (8 sloc) 812 Bytes


ersatz started as a one man project by Edward Kmett @ekmett. However, it then languished for 3 years after Don Stewart @donsbot released perfectly adequate bindings for yices.

It was revived by Johan Kiviniemi @ion1 who got it into a working condition by implementing some missing parts, which inspired the original author into polishing it up and releasing it.

Eric Mertens (@glguy](https://github.com/glguy) has been pouring code into it ever since then.

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

-Edward Kmett