Not laid off but on an extended sabbatical.

I'm working on a Rust library for SAT solving and other things informed by John Harrison's text on Automated Theorem Proving.

https://github.com/aetilley/harrison-rust

This is largely for me to to learn Rust, but I think it may have the potential to turn into something cool. Next on the todo list is optimizations to DPLL as the existing implementation is currently in its most basic form (I skipped optimizations there for the time being in order to move on to predicate calculus).