##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
9
Users
Channel History
Timeline of important events for ##smt
No History Yet
This channel hasn't documented any historical events yet.