SAT, SMT and SAT+CAS solvers (actively supported)

Automated Error Finding Tools (not actively supported anymore)

Older Software Projects (not actively supported anymore)