Re (4): satisfiable 12 Oct 201512/10/15 a las 20:02 hrs.2015-10-12 20:02:12

Nicolás Varas

Re (7): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 19:52 hrs.2015-10-12 19:52:12

Nicolás Delgado Vega

Re (6): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 19:50 hrs.2015-10-12 19:50:12

Joaquín Romero

Re (5): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 19:49 hrs.2015-10-12 19:49:12

Nicolás Delgado Vega

Re (4): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 19:41 hrs.2015-10-12 19:41:12

Nicolás Delgado Vega

Re (5): Predicados 12 Oct 201512/10/15 a las 19:14 hrs.2015-10-12 19:14:12

Jorge Ampuero C.

Re (9): eval-expr 12 Oct 201512/10/15 a las 18:51 hrs.2015-10-12 18:51:12

Tomás Díaz T.

Re (10): simplify negations 12 Oct 201512/10/15 a las 18:50 hrs.2015-10-12 18:50:12

Nicolás Varas

Re (9): simplify negations 12 Oct 201512/10/15 a las 18:48 hrs.2015-10-12 18:48:12

Nicolás Varas

Re (2): Duda satisfiable 12 Oct 201512/10/15 a las 17:23 hrs.2015-10-12 17:23:12

Moises Hernandez Aranda

Re (1): Duda satisfiable 12 Oct 201512/10/15 a las 17:21 hrs.2015-10-12 17:21:12

Raimil Cruz

Re (8): simplify negations 12 Oct 201512/10/15 a las 17:20 hrs.2015-10-12 17:20:12

Moises Hernandez Aranda

Re (7): simplify negations 12 Oct 201512/10/15 a las 17:20 hrs.2015-10-12 17:20:12

Moises Hernandez Aranda

Duda satisfiable 12 Oct 201512/10/15 a las 17:18 hrs.2015-10-12 17:18:12

Moises Hernandez Aranda

Re (3): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 17:17 hrs.2015-10-12 17:17:12

Raimil Cruz

Re (6): simplify negations 12 Oct 201512/10/15 a las 17:15 hrs.2015-10-12 17:15:12

Raimil Cruz

Re (5): simplify negations 12 Oct 201512/10/15 a las 17:04 hrs.2015-10-12 17:04:12

Moises Hernandez Aranda

Re (2): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 16:51 hrs.2015-10-12 16:51:12

Joaquín Romero

Re (7): eval-expr 12 Oct 201512/10/15 a las 16:47 hrs.2015-10-12 16:47:12

Raimil Cruz

Re (1): Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 16:46 hrs.2015-10-12 16:46:12

Raimil Cruz

Re (8): eval-expr 12 Oct 201512/10/15 a las 16:43 hrs.2015-10-12 16:43:12

Jorge Quinteros Scholz

Lookup de funciones en eval-expr 12 Oct 201512/10/15 a las 16:40 hrs.2015-10-12 16:40:12

Sebastián Hernández

Re (6): eval-expr 12 Oct 201512/10/15 a las 16:39 hrs.2015-10-12 16:39:12

Joaquín Romero

Re (5): eval-expr 12 Oct 201512/10/15 a las 16:33 hrs.2015-10-12 16:33:12

Tomás Díaz T.

Re (4): simplify negations 12 Oct 201512/10/15 a las 16:18 hrs.2015-10-12 16:18:12

Moises Hernandez Aranda