User Activity

  • Committed [r10374]

    update clingo-5 in the browser

  • Committed [r10373]

    update clingo on the web to version 5.0

  • Modified a comment on ticket #122 on Potassco

    Is there an updated version ? Not yet. The plan is to describe the differences between...

  • Posted a comment on ticket #122 on Potassco

    Is there an updated version ? Not yet. The plan is to describe the differences between...

  • Modified a comment on ticket #122 on Potassco

    These comments were actually intended to show that pooling is different, now. The...

  • Modified ticket #122 on Potassco

    Description of Pooling for gringo 4

  • Posted a comment on ticket #122 on Potassco

    These comments were actually intended to show that pooling is different, now. The...

  • Posted a comment on ticket #121 on Potassco

    Disclaimer: I never tried to use scons under Windows. In fact, I do not have a Windows...

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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks