##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 Quotes

Memorable quotes from ##smt on Libera.Chat

Latest Quotes

View All

No Quotes Yet

Be the first to submit a memorable quote from ##smt!

Submit First Quote

Statistics

Total Quotes

0