-
Re (4): satisfiable 12 Oct 201512/10/15 at 20:022015-10-12 20:02:12
Nicolás Varas -
Re (7): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 19:522015-10-12 19:52:12
Nicolás Delgado Vega -
Re (6): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 19:502015-10-12 19:50:12
Joaquín Romero
-
Re (5): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 19:492015-10-12 19:49:12
Nicolás Delgado Vega -
Re (4): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 19:412015-10-12 19:41:12
Nicolás Delgado Vega -
Re (5): Predicados 12 Oct 201512/10/15 at 19:142015-10-12 19:14:12
Jorge Ampuero C. -
Re (9): eval-expr 12 Oct 201512/10/15 at 18:512015-10-12 18:51:12
Tomás Díaz T. -
Re (10): simplify negations 12 Oct 201512/10/15 at 18:502015-10-12 18:50:12
Nicolás Varas -
Re (9): simplify negations 12 Oct 201512/10/15 at 18:482015-10-12 18:48:12
Nicolás Varas -
Re (2): Duda satisfiable 12 Oct 201512/10/15 at 17:232015-10-12 17:23:12
Moises Hernandez Aranda -
Re (1): Duda satisfiable 12 Oct 201512/10/15 at 17:212015-10-12 17:21:12
Raimil Cruz -
Re (8): simplify negations 12 Oct 201512/10/15 at 17:202015-10-12 17:20:12
Moises Hernandez Aranda -
Re (7): simplify negations 12 Oct 201512/10/15 at 17:202015-10-12 17:20:12
Moises Hernandez Aranda -
Duda satisfiable 12 Oct 201512/10/15 at 17:182015-10-12 17:18:12
Moises Hernandez Aranda -
Re (3): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 17:172015-10-12 17:17:12
Raimil Cruz -
Re (6): simplify negations 12 Oct 201512/10/15 at 17:152015-10-12 17:15:12
Raimil Cruz -
Re (5): simplify negations 12 Oct 201512/10/15 at 17:042015-10-12 17:04:12
Moises Hernandez Aranda -
Re (2): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 16:512015-10-12 16:51:12
Joaquín Romero
-
Re (7): eval-expr 12 Oct 201512/10/15 at 16:472015-10-12 16:47:12
Raimil Cruz -
Re (1): Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 16:462015-10-12 16:46:12
Raimil Cruz -
Re (8): eval-expr 12 Oct 201512/10/15 at 16:432015-10-12 16:43:12
Jorge Quinteros Scholz -
Lookup de funciones en eval-expr 12 Oct 201512/10/15 at 16:402015-10-12 16:40:12
Sebastián Hernández -
Re (6): eval-expr 12 Oct 201512/10/15 at 16:392015-10-12 16:39:12
Joaquín Romero
-
Re (5): eval-expr 12 Oct 201512/10/15 at 16:332015-10-12 16:33:12
Tomás Díaz T. -
Re (4): simplify negations 12 Oct 201512/10/15 at 16:182015-10-12 16:18:12
Moises Hernandez Aranda