• Indexed Information
  • Rank2,816
  • Users10
  • Last Indexed42 minutes 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
You must be authenticated in order to use the IRC Driven Live Chat gateway