Hi, CLAIRE can be used as a constraint programming language. I am curious: does CLAIRE has constraint stores? I ask this because some other constraint...
No, claire does not support the concept of constraints (hence not in a store). Claire has a backtrackable store, in which object, array or list modifications...
This new release is here and it replaces 3.3.10, which suffers from a regression bug on global variables :-( as was quickly found out by Etienne :-) Sorry...
The 3.3.22 release is available in the Files section. It fixes the three bugs that have been reported in the bug section: - tuple inference - _import -...
Hello everyone, Next month I will have some time to include some additional features or remove some annoying ones and to build the next (3.4) release. Since...
Hello Yves, We daily use all potential features/paradigms/concepts of Claire; in consequence we simply wish an upward compatibility for the forthcoming...
Hello everyone, the 3.3.24 release is available. It fixes: - the random bug on UNIX platforms (although this should be tested independently) - the bug from...
... Hello forum, In Claire we have the 'private' specifier that binds a symbol visibility to a module and its parts. It would be nice to have a 'static'...
Hello, I'm new to using CLAIRE and am havig some problems setting everything up. I've got CLAIRE and CHOCO installed and they seem to work but when I tried to...
Hi, Whenever I use any of the print functions in CLAIRE the word unknown is printed at the end of the output. Is this normal? Do I need to put in some...
Hi, I'm trying to implement an object representing an objective in a map colouring problem with a set of preferences for each colour at each node. I want to be...
I solved my problem. I discovered make_table and used that to write the methods [makePreferencesObjective(prob:choco/Problem): PreferencesObjective -> // Seed...
Hi, you do not need to do anything. The unknown that you see is the last result that is printed by the interpreter. If you print in a file, or if you call your...
... the ... Hi, a couple of things: (1) getting a seg fault is a bug. If you can isolate your code please report it as a bug (clairebugs@...) (unless you...
... Thanks for the advice Yves. I don't think an array would do the job here, I'm using the table as a dictionary. Would it be better to use an array and a...
Hello everyone, Please find here a new version of CLAIRE: v3.3.26. It fixes the bug reported by Sylvain (safety 1 => seg fault) and includes a few goodies,...
I was having problems installing CLAIRE on Windows XP even though the environment variables were defined correctly. I:\Program Files\Claire\release>nmake /F...
Please help explain what things I'm doing wrong. (using unchanged init.cl from distribution release-3-3-28.zip file testmod.cl test :: module( part_of =...
Hi, Just define your module in the init.cl file: testmod :: module( part_of = claire, made_of list("test") ) And remove the begin/end lines, these instruction...
... It didn't seem to like that? I:\pls\Claire>claire -cm testmod -- CLAIRE run-time library v 3.3.28 [os: ntv, C++:MS VC++ ] -- this is a init file for...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
