-
Re (3): simplify negations 12 Oct 201512/10/15 at 15:502015-10-12 15:50:12
Tomás Díaz T. -
Re (2): Scope 12 Oct 201512/10/15 at 15:312015-10-12 15:31:12
Tomás Díaz T. -
Re (1): Scope 12 Oct 201512/10/15 at 14:362015-10-12 14:36:12
Ariel Cáceres Reyes -
Scope 12 Oct 201512/10/15 at 13:192015-10-12 13:19:12
Sebastián Hernández -
Re (2): simplify negations 12 Oct 201512/10/15 at 11:102015-10-12 11:10:12
Tomás Díaz T. -
Re (4): subst 12 Oct 201512/10/15 at 10:362015-10-12 10:36:12
Raimil Cruz -
Re (1): simplify negations 12 Oct 201512/10/15 at 10:172015-10-12 10:17:12
Raimil Cruz -
Re (16): Duda Parseo 12 Oct 201512/10/15 at 10:082015-10-12 10:08:12
Raimil Cruz -
Re (1): Error typeof 12 Oct 201512/10/15 at 10:062015-10-12 10:06:12
Raimil Cruz -
Error typeof 12 Oct 201512/10/15 at 00:332015-10-12 00:33:12
Moises Hernandez Aranda -
simplify negations 12 Oct 201512/10/15 at 00:262015-10-12 00:26:12
Tomás Díaz T. -
Re (3): subst 11 Oct 201511/10/15 at 23:422015-10-11 23:42:11
Cristian Andrade M. -
Re (15): Duda Parseo 11 Oct 201511/10/15 at 22:452015-10-11 22:45:11
Jorge Ampuero C. -
Re (14): Duda Parseo 11 Oct 201511/10/15 at 22:192015-10-11 22:19:11
Ariel Cáceres Reyes -
Re (13): Duda Parseo 11 Oct 201511/10/15 at 22:112015-10-11 22:11:11
Jorge Ampuero C. -
Re (3): satisfiable 11 Oct 201511/10/15 at 20:232015-10-11 20:23:11
Raimil Cruz -
Re (2): satisfiable 11 Oct 201511/10/15 at 19:512015-10-11 19:51:11
Tomás Díaz T. -
Re (4): eval-expr 11 Oct 201511/10/15 at 17:222015-10-11 17:22:11
Raimil Cruz -
Re (3): eval-expr 11 Oct 201511/10/15 at 16:242015-10-11 16:24:11
Tomás Díaz T. -
Re (2): eval-expr 11 Oct 201511/10/15 at 16:002015-10-11 16:00:11
Raimil Cruz -
Re (1): satisfiable 11 Oct 201511/10/15 at 15:442015-10-11 15:44:11
Raimil Cruz -
Re (1): eval-expr 11 Oct 201511/10/15 at 15:142015-10-11 15:14:11
Tomás Díaz T. -
satisfiable 11 Oct 201511/10/15 at 14:502015-10-11 14:50:11
Tomás Díaz T. -
Re (2): Evaluación de un set 11 Oct 201511/10/15 at 14:042015-10-11 14:04:11
Raimil Cruz -
Re (1): Evaluación de un set 11 Oct 201511/10/15 at 13:342015-10-11 13:34:11
Mario Fernández