User Activity

  • Modified ticket #106 on Potassco

    programs with negations before unary predicates do not run correctly with clingo 4.5.0

  • Modified ticket #106 on Potassco

    programs with negations before unary predicates do not run correctly with clingo 4.5.0

  • Modified ticket #106 on Potassco

    rograms with negations before unary predicates do not run correctly with clingo 4.5.0

  • Posted a comment on ticket #106 on Potassco

    This problem is already fixed in trunk. It is really just an output issue in clingo...

  • Committed [r9558]

    - graph coloring is simple

  • Committed [r9557]

    - cleanup

  • Committed [r9556]

    - split examples

  • Committed [r9555]

    - highlighting update

View All

Personal Data

Username:
rkaminski
Joined:
2008-03-14 15:36:31

Projects

  • Project Logo GrinGo   Last Updated:
  • Project Logo Potassco   Last Updated:

Skills

  • No skills entered.

Personal Tools