• Indexed Information
  • Rank3,074
  • Users9
  • Last Indexed4 days, 12 hours ago
Channel 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

Channel logging for ##smt is not currently enabled