On Sat, Jun 23, 2012 at 10:58 PM, Tobias Pankrath <tobias@pankrath.net> wrote:

I am currently writing a sat solver for educational purposes

How mature is the sat solver yet? Do you plan to release it at some point of time?

Regards

- Puneet