Showing page 1 of 1.

• 
  AS511 driver for S5 PLC

  AS511 communication driver

  11 weekly downloads
• 
  North North West non-polynomial

  NNW-NP North North West non polynomial problems. Bring back and develop NP in a friendly approach, using everything that is possible, and why not? We have now a todo list and we see light to solve this problem. Tryouts! We need new active members. Come!

  0 weekly downloads
• 
  PHP5 IPC-Package

  Package to handle Threads width PHP5

  0 weekly downloads
• 
  Transsat

  Transsat makes it possible to use unary and binary coding in SAT-related problems. Furthermore it introduces a convenient file format to input integer-based constraints and you can choose between popular SAT-solvers.

  0 weekly downloads