From: Terrance S. <ts...@cs...> - 2004-07-30 00:31:42
|
I think that the easiest way to fix CLPR is to have it implemented using constraint handling rules. Tom put CHR rules for Gaussian elimination into the examples directory, and these handle linear equation rules well, but dont handle inequations or maximization. I don't know if anybody has ported all of clpr to CHR -- if they have, I'm happy to try to port it to XSB. Does anybody know of such a CHR system? Terry On Thu, 29 Jul 2004, Michael Kifer wrote: > > > > > Hi Top: > > > > I'm thinking of making the CHR library a package as that would probably be > > a better way of managing it in the long run. Do you (or anyone else) see > > a reason why I shouldn't do this? > > > > Terry > > I think this is a good idea. Any hope that CLPR will be fixed some time in > the near future? > > > --michael > > > ------------------------------------------------------- > This SF.Net email is sponsored by OSTG. Have you noticed the changes on > Linux.com, ITManagersJournal and NewsForge in the past few weeks? Now, > one more big change to announce. We are now OSTG- Open Source Technology > Group. Come see the changes on the new OSTG site. www.ostg.com > _______________________________________________ > Xsb-development mailing list > Xsb...@li... > https://lists.sourceforge.net/lists/listinfo/xsb-development > |