Hello, CLAIRE 3.3 will be made available before the end of the year. Since CLAIRE 3.2 is now quite stable, there will be few changes. On the other hand, the...
XL forum is unavailable, hence I put my bug report here: Each set is a type, and it should be included in itself: claire> s :: set<integer>(1) eval[0]> s ...
This is NOT a bug. Only constant sets are valid types. One reason is that if two type expressions t1 and t2 verify t1 <= t2, then set!(t1) is included in...
It fixes two important bugs: (a) Profiler The profiler is back: compile with -p and use PRshow() ... or read the documentation (b) tuple-valued methods There...
Since it has been delayed many times ... you'll be glad to know that CLAIRE 3.3 is done (the development part, that is). I need to update the documentation and...
I have installed CLAIRE 3.3 in the download zone, as well as the new 3.3 documentation. I will send a more detailed post later on the CLAIRE forum explaining ...
Here is a short list of improvements that were added in CLAIRE 3.3 (a) global variables that are "local" to a module are implemented in a more efficient...
Hello everyone, I have posted to new releases: - 3.2.60 which imports a bug fix from 3.3 about garbage collection of arrays - 3.3.04 which fixes a bug with...
Hello everyone, A new release is available, which fixes 2 nasty bugs: (1) there was a problem with the management of class dictionnary when too many methods...
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...
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.
