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

Tomás Díaz T.

Re (2): Scope 12 Oct 201512/10/15 a las 15:31 hrs.2015-10-12 15:31:12

Tomás Díaz T.

Re (1): Scope 12 Oct 201512/10/15 a las 14:36 hrs.2015-10-12 14:36:12

Ariel Cáceres Reyes

Scope 12 Oct 201512/10/15 a las 13:19 hrs.2015-10-12 13:19:12

Sebastián Hernández

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

Tomás Díaz T.

Re (4): subst 12 Oct 201512/10/15 a las 10:36 hrs.2015-10-12 10:36:12

Raimil Cruz

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

Raimil Cruz

Re (16): Duda Parseo 12 Oct 201512/10/15 a las 10:08 hrs.2015-10-12 10:08:12

Raimil Cruz

Re (1): Error typeof 12 Oct 201512/10/15 a las 10:06 hrs.2015-10-12 10:06:12

Raimil Cruz

Error typeof 12 Oct 201512/10/15 a las 00:33 hrs.2015-10-12 00:33:12

Moises Hernandez Aranda

simplify negations 12 Oct 201512/10/15 a las 00:26 hrs.2015-10-12 00:26:12

Tomás Díaz T.

Re (3): subst 11 Oct 201511/10/15 a las 23:42 hrs.2015-10-11 23:42:11

Cristian Andrade M.

Re (15): Duda Parseo 11 Oct 201511/10/15 a las 22:45 hrs.2015-10-11 22:45:11

Jorge Ampuero C.

Re (14): Duda Parseo 11 Oct 201511/10/15 a las 22:19 hrs.2015-10-11 22:19:11

Ariel Cáceres Reyes

Re (13): Duda Parseo 11 Oct 201511/10/15 a las 22:11 hrs.2015-10-11 22:11:11

Jorge Ampuero C.

Re (3): satisfiable 11 Oct 201511/10/15 a las 20:23 hrs.2015-10-11 20:23:11

Raimil Cruz

Re (2): satisfiable 11 Oct 201511/10/15 a las 19:51 hrs.2015-10-11 19:51:11

Tomás Díaz T.

Re (4): eval-expr 11 Oct 201511/10/15 a las 17:22 hrs.2015-10-11 17:22:11

Raimil Cruz

Re (3): eval-expr 11 Oct 201511/10/15 a las 16:24 hrs.2015-10-11 16:24:11

Tomás Díaz T.

Re (2): eval-expr 11 Oct 201511/10/15 a las 16:00 hrs.2015-10-11 16:00:11

Raimil Cruz

Re (1): satisfiable 11 Oct 201511/10/15 a las 15:44 hrs.2015-10-11 15:44:11

Raimil Cruz

Re (1): eval-expr 11 Oct 201511/10/15 a las 15:14 hrs.2015-10-11 15:14:11

Tomás Díaz T.

satisfiable 11 Oct 201511/10/15 a las 14:50 hrs.2015-10-11 14:50:11

Tomás Díaz T.

Re (2): Evaluación de un set 11 Oct 201511/10/15 a las 14:04 hrs.2015-10-11 14:04:11

Raimil Cruz

Re (1): Evaluación de un set 11 Oct 201511/10/15 a las 13:34 hrs.2015-10-11 13:34:11

Mario Fernández