Re: Made a Rage-Comic about D

[d coder]

On Sat, Jun 23, 2012 at 10:58 PM, Tobias Pankrath <tob...@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