CityU | CS Dept | Andy Chun

NSolver Project

Dr. Andy Chun - Department of Computer Science

Contents

• Home
• NSolver Examples
• NSolver Tutorial
• NSolver Manual
• Download
• Links
• Contact

www CityU(CS)

Links

The following are useful links to external sites with material related to constraint programming. Please email me new/broken links that you may find.

---

Links: CP

---

• Constraint Programming:
• What is CP?
  • AI Topics - Constraints (from AAAI)
  • On-line Guide to Constraint Programming
  • Finite Domain Constraint Programming in Oz
  • Constraints Archive
  • constraint.org
• Free CP Software:
  • ECLiPSe (Prolog)
  • Mozart (Oz)
  • Constraint Handling Rules (CHR) (Prolog)
  • IAsolver - Interval Arithmetic Constraint Solver (Java)
  • Cream (Java)
  • Java Constraint Kit (Java)
  • Java Constraint Library (Java)
  • Tudor Hulubei's CSP Library (C++)
• Commercial CP Software:
  • Koalog (Java)
  • ILOG JSolver (Java)
  • Tudor Hulubei's CSP Library (C++)
• Free OR Software:
  • COIN (C++)
• Research Groups:
  • University of Essex (Constraint Programming and Optimization Group)
  • University of Washington (Constraint-Based System Group)
• Random CSP Generators:
  • RandomCSP (C++)
  • Random Non-Binary Finite CSP Generator
  • Random Uniform CSP Generators
  • What is Random CSP Generators
• Directories:
  • Google Directory - Constraints
  • Open Directory - Constraints
  • Yahoo Directory - Constraints
  • Informs Resources

---

Last modified: Saturday, 04-Feb-2006 19:13:53 HKT

Copyright (c) 1994-2011, Dr. Andy Chun, Hon Wai, All Rights Reserved.      Privacy Statement