##smt

Network: Libera.Chat

Modes:

Last Seen: 3 hours ago

Topic: 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

#2,846

Rank

Users

Channel Users for ##smt

Channel Users List

See who's in ##smt and browse user history

This feature is not currently enabled for ##smt. Enable the Live Channel Bot and the Users List option in channel settings to display the current user list and user history.

Current Users

See who's online right now with status (ops, voice, etc.) and linked accounts.

User History

Browse who has joined in the past, when they were last seen, and quit messages.

Channel administrators can enable this feature in the channel Admin settings. Ask a channel admin to enable the Live Channel Bot and the Users List option.