##smt

Network: Libera.Chat

Modes:

Last Seen: 2 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

#3,214

Rank

Users

Topic History

Viewing 1 topic change

##smt

May 18, 2023 2 years, 11 months ago

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