10:25:20	 From Nik Erzetič : A bi lahko kaj s predoznakami vozlišč?
10:36:46	 From Tomaz Derca : Js sm sicer tle
10:36:56	 From Tomaz Derca : ampak v rahlo problematični situaciji glede mifrofona
10:37:01	 From Tomaz Derca : Pardon
10:37:14	 From vidd : jst tud nimam mikrofona
10:46:58	 From Tomaz Derca : A ni tist  "1 v 2" je isto kot "ne2 -> 1" pa bi blo ful lažje razmišlat?
10:50:52	 From Nik Erzetič : A bi to lahko rešili tudi kot problem razvoza z omejitvami (izven tega predmeta)?
10:51:05	 From Gašper Žajdela : x3 -> -x1 -> x2 -> x1 -> -x3 ?
10:51:12	 From Gašper Žajdela : ne
10:51:21	 From Gašper Žajdela : sam iz x3 sledi ne x3
10:55:15	 From Katarina Šipec : ko bosta xi in ne xi ekvivalentna
10:55:36	 From Tomaz Derca : cikel
10:56:06	 From Tomaz Derca : SCC
11:03:03	 From Nik Erzetič : Izvore damo za True
11:05:04	 From Gal Kuhar : pa bo to ok? v našem primeru to ne deluje. x3 -> !x1 -> x2 in !x2
11:41:54	 From Tomaz Derca :  10
11:42:36	 From Nik Erzetič : Ja, 10 vozlišč ma. V sredini je peterokraka Zvezda, okrog pentagram
11:43:33	 From Nik Erzetič : Ja
11:43:38	 From Nik Erzetič : Samo to
12:01:09	 From Nik Erzetič : Nasvidenje
12:01:11	 From Gal Kuhar : lep dan!
12:01:13	 From Gašper Žajdela : adijo
12:01:16	 From Bor Rotar : nasvidenje