Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

User Activity

  • Committed [r61905]

    Fix docbook validation errors.

  • Committed [r61862]

    Have the gecode example spit out in commands.

  • Committed [r61857]

    Add 3dm solidity files to CMAKEFILES list.

  • Committed [r61842]

    Add some notes about the promising minizinc 2.0...

  • Committed [r61836]

    Add notes about minizinc/flatzinc

  • Committed [r61835]

    Looks like we can just use -1 without naming it.

  • Committed [r61834]

    Add a (very) basic example of specifying constr...

  • Committed [r61826]

    Work in progress - for now, turn off unused cod...

View All

Personal Data

Username:
starseeker
Joined:
2000-02-05 04:24:09

Projects

Skills

  • No skills entered.

Personal Tools