##smt

Live

on Libera.Chat · 30-day trend 0.0%

This channel is sometimes about SAT and SMT solving, applications and implementations. | http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories https://en.wikipedia.org/wiki/Propositional_satisfiability

People now

All-time peak

First tracked

25 Jul 2026

Last seen

1 hr ago

People in ##smt

24h 7d 30d 1y 10y All

Last 24 hours · data begins 28 Jul 14:45

13:0519:0501:0507:05now