User Activity

  • Committed [r8313]

    adapt to new versioning concept

  • Committed [r8312]

    updating the output of --probe

  • Committed [r8311]

    making --no-skolem dominant over --no-qvars

  • Committed [r8310]

    making --no-skolem dominant over --no-qvars

  • Committed [r8309]

    using grep -E

  • Posted a comment on discussion Open Discussion on EulerSharp

    The Euler1, Euler2, Euler3, Euler4 and Euler5 were previous engines. Since 2009 they...

  • Committed [r8308]

    adding health_schema_org test case

  • Committed [r8307]

    added

View All

Personal Data

Username:
josd
Joined:
2003-03-22 16:41:22
Location:
Gent / Belgium / CEST
Gender:
Male

Projects

  • Project Logo EulerGUI   Last Updated:
  • Project Logo EulerMoz   Last Updated:
  • Project Logo EulerSharp Euler Yet another proof Engine Last Updated:

Skills

  • No skills entered.

Personal Tools