[HWMCC] Model Checkers due on October 8

[Armin Biere]

Dear colleague,

in order to leave enough time for actually running the competition we do
need versions of your model checkers to be entered to the competition
at the end of this week on October 8.

Further there will be a Deep Bounds Award sponsored by Oski Technology:

http://fmv.jku.at/hwmcc12/setup.html

We are looking forward to your submission!

Regards,

Armin Biere

P.S. Benchmarks are always welcome.