: gecode gecode
Subject: [gecode-users] gecode error
hello gecode users,
i'm using an extensional constraint with 8 tuple the problem is that i get
this message :This application has requested the Runtime to terminate it an
unusual way . and when i use just 3 tuple it's fine. can som
hello gecode users,
i'm using an extensional constraint with 8 tuple the problem is that i get this
message :This application has requested the Runtime to terminate it an unusual
way . and when i use just 3 tuple it's fine. can some one help.
thank's
ource packages, as well as binary packages
>> for Windows and Mac OS.
>>
>> Cheers,
>> Guido
>>
>>
>> ___
>> Gecode users mailing list
>> us...@geco
Thank you for this new release,
When compiling with:
./configure --disable-set-vars --disable-examples --disable-scheduling
I get following error:
./libgecodeflatzinc.so: undefined reference to
`Gecode::cumulatives(Gecode::Space&, Gecode::PrimArgArray const&,
Gecode::IntVarArgs const&, Gecode
tors::operator++()’:
Regards,
--
Gustavo Gutierrez
___
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
___
Gecode users mailing list
[email protected]
h
2009/10/7 Guido Tack
> Hi!
> The problem is not Propagator::cast, because that method has not been
> changed (it was private in the previous release, too). Can you please let
> us know what version of Gecode you used previously, and give us an idea
> where you call Propagator::cast (e.g. small c
ething wrong (I am a real newbie).
Else Gecode is really impressive !
Thanks for your help,
Carlos
___
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
______
Hi all,
I have installed the new Gecode 3.2.0 framework on Mac OS, but I do
not arrive to run any program. I use Xcode and get always this error :
error: 'static Gecode::Propagator*
Gecode::Propagator::cast(Gecode::ActorLink*)' is private
/*
* Propagator
*
*/
forceinline Pr
Dear all,
we are releasing the next version of Gecode.
Gecode 3.2.0
http://www.gecode.org
This release has some important bug fixes (in particular for
global cardinality aka count), the documentation has been
improved (worked around some issues with generation by dox
On 04 Sep 2009, at 13:50, Guido Tack wrote:
> Hi everyone,
>
> I've just upgraded my Mac to Snow Leopard and XCode 3.2 and ran a few
> quick checks. It seems everything works well. Here's a couple of
> notes:
>
> The installer package from the Gecode download page apparently works
> out of the
Hi everyone,
I've just upgraded my Mac to Snow Leopard and XCode 3.2 and ran a few
quick checks. It seems everything works well. Here's a couple of
notes:
The installer package from the Gecode download page apparently works
out of the box.
It seems that the installer package for Qt 4.5 h
Again, please see "Modeling with Gecode", in particular Section 2.3.1.
/Mikael
2009/6/24 hamza bouchaour :
>
> i'm using gecode 3.1.0 with cygwin, i have done the first step of
> installation: "compiling and installing gecode" but the second one i haven't
> understand how we fix it: "compiling an
i'm using gecode 3.1.0 with cygwin, i have done the first step of installation:
"compiling and installing gecode" but the second one i haven't understand how
we fix it: "compiling and linking against gecode"
i read in gecode doc and i think it'a about library names. i hope that you
unde
You seem to be using an old version of Gecode, this particular problem
(that it was too complicated to compile the examples independently)
was addressed in the 3.1.0 release.
Cheers,
Mikael
On Sat, Jun 20, 2009 at 8:22 PM, alfredo wrote:
> hi every one,
>
> i'm a bigginer in gecode programmtion,
hi every one,
i'm a bigginer in gecode programmtion, i installed gecode and complied examples
but i have a problem when i want to modify examples like Magic squares ( i
modify the size of the matrice from 7 to 10) i can't complied it with this
message in shell:
support.hh: no such file or directo
[email protected]
Subject: [gecode-users] gecode programming for scheduling University campus
Hi,
I'm new at gecode
I'm making the jog grade
I've to do a scheduling program for university campus
I'm trying design a model, but I haven't success
What tips or guies
Hi,
I'm new at gecode
I'm making the jog grade
I've to do a scheduling program for university campus
I'm trying design a model, but I haven't success
What tips or guies have I follow for success?
Thank you so much for your help
Succes
Cristian Yepes
___
Dear all,
we are releasing updates to Gecode and Gecode/FlatZinc.
Gecode 3.1.0
http://www.gecode.org
This release introduces parallel search, features improved memory
management (can double efficiency on MacOS X), and provides a reusable
command line driver upon
Christian
--
Christian Schulte, www.it.kth.se/~cschulte/
From: [email protected] [mailto:[email protected]] On Behalf
Of Markus Böhm
Sent: Thursday, May 07, 2009 1:31 PM
To: gecode list
Subject: [gecode-users] Gecode Install Question
Hi, as a C++/Gecode beginner I hardly dare
Hi, as a C++/Gecode beginner I hardly dare to ask.
I installed Gecode 3.0.2 via the Windows Installer package on my Windows XP
Prof. System in Path D:\Program Files\Gecode. The System Variable GECODEDIR
is set accordingly.
I installed Visual C++ 2008 Version 9.0.
Then I follow the instructions in
Dear all,
here's a bugfix release (again):
Gecode 3.0.2
http://www.gecode.org
This is a bug fix release fixing two more embarrassing bugs. However,
this time we redesigned our tests carefully such that they cover all
changes and optimizations done for the transit
Dear all,
we are releasing bugfix versions:
Gecode 3.0.1
http://www.gecode.org
This is a bug fix release fixing an embarassing bug in reified Boolean
linear constraints (plus other minor fixes).
The complete changelog is available at
http://www.gecode.org/c
Hi everyone.
There's one known issue in the just-released Gecode/FlatZinc 1.4 - it
currently doesn't work with Gist although it lists gist as one of the
mode options. However, there will be another release of Gecode/
FlatZinc in two to three weeks (adapting to upcoming FlatZinc language
ch
Dear gecode team,
congratulations!
I spend nearly whole last week with old gecode and its documentation
and I became more and more depressed, so I received this announcement
with pleasure. Especially the new "Modelling with Gecode"
documentation looks great! Sure I haven't read it whole yet b
Dear all,
we are happy and proud to announce our next major release:
Gecode 3.0.0
http://www.gecode.org
as well as the brand-new tutorial documentation on modeling with Gecode.
This release is a major consolidation release: interfaces have been
cleaned up (consist
Dear all,
what has become obvious is that our initial plans for 3.0 had been
ludicrously optimistic. Now, we see much clearer (two of the three main
Gecode people actually got a degree within the last three months).
We have to settle for much less in 3.0 than has been planned. What will be
in:
-
Hi,
> In more detail, Gecode 3.0.0 will feature:
> - a complete rework of branching, including randomization and support for
> tie-breaking (already finished)
> - abstractions for cost-based optimization (just define a cost function,
> done)
> - a first shot at parallel search (working really g
Only one comment:
nice, nice, nice ... ;)
Thanks a lot!
Martin
Christian Schulte schrieb:
> Dear all,
>
> as promised a short update on 3.0 with another release date estimate:
> - complete rework of branching: with randomization and tie-breaking (done)
> - abstractions for cost-based optim
Dear all,
as promised a short update on 3.0 with another release date estimate:
- complete rework of branching: with randomization and tie-breaking (done)
- abstractions for cost-based optimization (done)
- parallel search (still not integrated) [*]
- stable version of Gist as an interactive s
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Martin Mann
Sent: Tuesday, August 26, 2008 10:56 AM
To: [EMAIL PROTECTED]
Subject: Re: [gecode-users] [Gecode-announce] Gecode 2.2.0, Gecode/J 2.2.0,
Gecode/FlatZinc 1.3 released
>>> The complete changelog is availab
>>> The complete changelog is available at
>>> http://www.gecode.org/gecode-doc-latest/PageChanges_2_2_0.html
>>
>> The first thing to catch my eye was DDS, but I have not found anything
>> related to it in the docs. Where should I look?
>
> I'm sorry for the confusion, but that entry got into th
>>
>> The first thing to catch my eye was DDS, but I have not found anything
>> related to it in the docs. Where should I look?
>
> I'm sorry for the confusion, but that entry got into the 2.2.0
> changelog by mistake. DDS will only be available in Gecode 3, and is
> already available in the tr
Filip Konvička wrote:
The complete changelog is available at
http://www.gecode.org/gecode-doc-latest/PageChanges_2_2_0.html
The first thing to catch my eye was DDS, but I have not found anything
related to it in the docs. Where should I look?
I'm sorry for the confusion, but that entry got
> The complete changelog is available at
> http://www.gecode.org/gecode-doc-latest/PageChanges_2_2_0.html
The first thing to catch my eye was DDS, but I have not found anything
related to it in the docs. Where should I look?
Thanks,
Filip
___
Gecode
We would like to announce the release of
Gecode 2.2.0
http://www.gecode.org
This release adds many domain consistent propagators for arithmetic
constraints and fixes a number of bugs. Some of these bugs fixed are
potentially serious, in particular as they occur ve
The exception means exactly what the message says: the heap memory has
been exhausted.
Please see previous discussion about this exception in the
mailing-list:
http://search.gmane.org/search.php?group=gmane.comp.lib.gecode.user&query=MemoryExhausted
Cheers/
Mikael
On Mon, Jul 28, 2008 at 12:02
Hello all,
I am running some examples with a wrapper I am developing for Gecode
to Common Lisp. Sometimes, the lisp interpreter gives this error:
terminate called after throwing an instance of 'Gecode::MemoryExhausted'
what(): Memory: Heap memory exhausted
Error: Signal 6 [code 0] at 94FCDB9E
EMAIL PROTECTED] On Behalf
Of David Rijsman
Sent: Thursday, June 26, 2008 11:30 AM
To: [EMAIL PROTECTED]
Subject: Re: [gecode-users] Gecode 3.0.0: What we will do. What do you want?
I fully agree with Malcolm, on all remarks!
I really like the open structure of Gecode, it is extremely easy to
inter
de list <[EMAIL PROTECTED]>
Date: 6/26/2008 10:26 AM
Subject: Re: [gecode-users] Gecode 3.0.0: What we will do. What do you
want?
On 26/06/2008, at 2:07 AM, Christian Schulte wrote:
> Now: What do you want? How can you help us? Are we missing something
> really
> important? Is
On 26/06/2008, at 2:07 AM, Christian Schulte wrote:
> Now: What do you want? How can you help us? Are we missing something
> really
> important? Is there something fundamentally wrong?
Firstly, let me thank you for a fabulous tool and better support than
any free software I've encountered befo
/~cschulte/
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Mauricio Toro
Sent: Wednesday, June 25, 2008 7:24 PM
To: [EMAIL PROTECTED]
Subject: Re: [gecode-users] Gecode 3.0.0: What we will do. What do you want?
Hello,
I am always having problems with bus error, and there
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Javier Andrés Mena Zapata
Sent: Wednesday, June 25, 2008 7:20 PM
Cc: [EMAIL PROTECTED]
Subject: Re: [gecode-users] Gecode 3.0.0: What we will do. What do you want
Mauricio Toro wrote:
> I am always having problems with bus error, and there is not an easy
> way to debug those errors. Would it be possible to do something
> about it?
With a debug build (configure --enable-debug) and a debugger like gdb,
it's usually quite easy to find the reasons for bus e
Hello,
I am always having problems with bus error, and there is not an easy
way to debug those errors. Would it be possible to do something about it?
Also, some documentation about how to develop new propagators
should be included.
cheers,
Mauricio
2008/6/25 Javier Andrés Mena Zapata <[EMAIL PRO
Hi,
I think one important thing missing in Gecode is direct support to modeling
scheduling problems. There has been always said (several papers, not
Gecode) that that CP is the way to go if you want to model scheduling
problems, but when one tries to implement those ideas in Gecode the
difficulti
Dear all,
as mentioned, we are planning for Gecode 3.0.0. Before going into detail, I
would like to share with you the goals we wanted to achieve with the
previous major releases and the goals we want to achieve with 3.0 (and even
4.0).
Gecode 1.0.0 was the first version where we believed that we
Hi,
On Mon, Jun 16, 2008 at 6:58 AM, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> I just got the following crash in my Gecode/J program:
>
> java: /home/malcolmr/include/gecode/int/extensional/tuple-set.icc:88:
> bool Gecode::TupleSet::TupleSetI::finalized() const: Assertion `(excess
> == -1 && doms
I just got the following crash in my Gecode/J program:
java: /home/malcolmr/include/gecode/int/extensional/tuple-set.icc:88:
bool Gecode::TupleSet::TupleSetI::finalized() const: Assertion `(excess
== -1 && domsize >= 0) || (excess != -1 && domsize == -1)' failed.
I'll look into it and see if
Oh wait, I was looking at the examples.Options javadoc. I see there is
one for org.gecode.Options also. My apologies.
Malcolm
On 27/03/2008, at 2:07 PM, Malcolm Ryan wrote:
> Could you please explain what the various fields of the Options
> class do in Gecode/J?
>
> Malcolm
Could you please explain what the various fields of the Options class
do in Gecode/J?
Malcolm
___
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
Could you please add a toString() method to IntSet in Gecode/J? It
would help in debugging. At the moment there is no way to inspect the
contents of a set at runtime.
Malcolm
___
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mai
Malcolm Ryan wrote:
>> When I try to download it, everything works fine. Could you please
>> verify the md5 of the file? It should read
>> MD5 (Downloads/Gecode-2.1.1.dmg) = db768db92ff0793f56eaa5d7f1948cc9
>
> How do I do that?
Just call md5 on the downloaded file. In the terminal, just type
m
Malcolm Ryan wrote:
I've just tried to install Gecode 2.1.1 from the Mac OS dmg files
(both with and without Qt) and in each case I got an "Install Failed"
when the installation process was about 20% done. The message says
"The source media you are installing from is damaged."
When I try to do
On 10/03/2008, at 6:49 PM, Guido Tack wrote:
>
> When I try to download it, everything works fine. Could you please
> verify the md5 of the file? It should read
> MD5 (Downloads/Gecode-2.1.1.dmg) = db768db92ff0793f56eaa5d7f1948cc9
How do I do that?
Malcolm
_
I've just tried to install Gecode 2.1.1 from the Mac OS dmg files
(both with and without Qt) and in each case I got an "Install Failed"
when the installation process was about 20% done. The message says
"The source media you are installing from is damaged."
Malcolm
On 07/03/2008, at 3:25 AM
We're sorry for the short release interval, but we have to announce
the release of
Gecode 2.1.1
http://www.gecode.org
This is a bug-fix only release. Bugs fixed include a serious bug in
the kernel,
a Gist redraw bug on Windows, and making boost serialization comp
We would like to announce the release of
Gecode 2.1.0
http://www.gecode.org
This release makes two essential contributions: a partly reimplemented
kernel that is faster, is simpler, and uses less memory and lots of
small and not so small fixes. This release is th
Malcolm Ryan wrote:
> In the new Gecode/J, could you please add an IntSet constructor that
> takes a List? It would be very convenient.
I added a constructor IntSet(Iterable l).
Cheers,
Guido
___
Gecode users mailing list
[EMAIL PROTECTED]
ht
Raffaele Cipriano wrote:
> Dear Guido,
> I'have installed the "Flatzinc for Gecode 1.1" release, and it works.
> But perhaps I misunderstood something... I thought that the parser
> would have returned a
> gecode space in a c++ file
No, Gecode/FlatZinc is an interpreter for FlatZinc, not a com
Dear Guido,
I'have installed the "Flatzinc for Gecode 1.1" release, and it works.
But perhaps I misunderstood something... I thought that the parser would have
returned a
gecode space in a c++ file, for example I thought that executing
$ fz myInstanceOfGolombRulers.fzn
should have create a m
We would like to announce the release of
FlatZinc for Gecode 1.1
http://www.gecode.org/flatzinc.html
This release fixes several bugs and brings Gecode/FlatZinc
closer to the FlatZinc specification:
* Added support for constant declarations (like int: a=3;)
* New c
In the new Gecode/J, could you please add an IntSet constructor that
takes a List? It would be very convenient.
Thanks,
Malcolm
--
"Our age is not willing to stop with faith,
with its miracle of turning water into wine,
it goes further, it turns wine into water."
--
We would like to announce the release of
Gecode 2.0.1
http://www.gecode.org
This is a bug-fix only release. Very unfortunately, we had to fix
three serious bugs in search (LDS, Restart, and assignment
branchings). We highly encourage you to switch to Gecode 2.0.
Martin Mann wrote:
2) your AC_CONFIG_FILES statement at the end of configure.ac doesnt
work
properly on my system. I get the following:
[...]
I fixed it by replacing the following lines
AC_CONFIG_FILES([Makefile doxygen.conf:doxygen/doxygen.conf.in
doxygen.hh:doxygen/doxygen.hh.in
> Interesting: I do develop under Cygwin with autoconf etc and haven't
> noticed any of the quirks you mention. But thanks!
Yes, I thought so too and was surprised to have these problems.
> In principle, MinGW gcc should be able to link against MSVC (that's what
> they say on their webpage). B
er this is true.
Cheers
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Martin Mann
Sent: Monday, January 28, 2008 2:29 PM
To: gecode user list
Subject: [gecode-users] Gecode trunk fix for Cygwin g++ c
Hi,
I know the Gecode trunk is not meant to be stable. But I encountered
some problems that might occure in the next release too.
My setup :
WinXP
Cygwin
g++ (GCC) 3.4.4
aclocal, automake 1.1.0
autoconf 2.61
Hi everyone,
following our release, we have now updated our benchmark pages to
reflect the changes in Gecoder version 2.0.0. We've also updated to
more recent versions of the solvers we compare against.
In addition, the changelog page (http://www.gecode.org/changes.html)
now shows how Ge
PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Malcolm Ryan
Sent: Tuesday, November 20, 2007 3:16 AM
To: gecode list
Subject: [gecode-users] Gecode/J: bool_and()
The function Gecode.bool_and(JavaSpace, VarArray, BoolVar)
acts in a way that I find counter-intuitive. If the VarArray is
empty, this
The function Gecode.bool_and(JavaSpace, VarArray, BoolVar)
acts in a way that I find counter-intuitive. If the VarArray is
empty, this constraint will cause propagation to fail:
VarArray bools = new VarArray();
BoolVar bool = new BoolVar(space);
Gecode.bool_and(space
We would like to announce the release of
Gecode 2.0.0
http://www.gecode.org
As witnessed by the version number change, this is a major release
with too many changes, fixes, and additions to mention them all:
please consult the changelog at
http://www.gecode.org/geco
stian
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Malcolm Ryan
Sent: Tuesday, November 13, 2007 6:46 AM
To: gecode list
Subject: [gecode-users] Gecode/J: Setting boolean var
Is there a simple standard way to constraint the value of a BoolVar
to a constant?
bo
:
variable.get(0).assigned() && (variable.get(0).val() == 0)
Christian
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Daniel Araya
Sent: Wednesday, November 14, 2007 11:42 PM
To: [EMAIL PROTECTED]
Subject: [gecode-users] Gecode/J
Hi,
I discover that
Hi,
I discover that Gecode/J not implemented the function "atleast" and "atmost",
but it is easy to resolve with the function "count" and "rel". But I have a
Question:
How I do a restriction like:
VarArray variable;
VarInt Max;
IF(variable.get(0)==1){ //THIS IS THE PROBLEM!!
linear(this,cr
Is there a simple standard way to constraint the value of a BoolVar
to a constant?
bool_eq() does not have a constant argument version, and eq() doesn't
seem to
work.
Malcolm
--
"If there is one thing worse than the modern weakening of major morals
it is the modern strengthening of minor
know of, actually.
Cheers
Christian
--
Christian Schulte, http://www.imit.kth.se/~schulte/
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Malcolm Ryan
Sent: Tuesday, November 06, 2007 11:56 AM
To: [EMAIL PROTECTED]
Subject: Re: [gecode-users] Gec
On 11/7/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> Wouldn't it be a good idea to add an abstract copy() function to Space
> () then, enforcing this requirement, rather than just assuming the
> copy constructor will be there? This is what you do on GecodeVar
> after all.
I don't know of a way to
On 11/6/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
>
> On 06/11/2007, at 6:10 PM, Malcolm Ryan wrote:
>
> > I'm getting a crash in my Gecode/J program with the message:
> >
> > Invalid memory access of location 0004 eip=0e61227c
>
> I've isolated the cause. The domain IntSet was empty.
> The
On 06/11/2007, at 7:49 PM, Christian Schulte wrote:
> Hi,
>
> Just as a side comment: always write a copy constructor even if you
> are not
> using search (currently). Future versions of Gecode might invoke
> copying for
> garbage collection behind your back (earlier versions actually
> did
On 06/11/2007, at 6:10 PM, Malcolm Ryan wrote:
> I'm getting a crash in my Gecode/J program with the message:
>
> Invalid memory access of location 0004 eip=0e61227c
I've isolated the cause. The domain IntSet was empty.
The following code will reproduce the bug:
Space space = new Spac
://www.imit.kth.se/~schulte/
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Mikael Zayenz Lagerkvist
Sent: Tuesday, November 06, 2007 7:11 AM
To: Malcolm Ryan
Cc: gecode list
Subject: Re: [gecode-users] Gecode/J: What is Space abstract?
On 11/6/07, Malcolm Ryan
I'm getting a crash in my Gecode/J program with the message:
Invalid memory access of location 0004 eip=0e61227c
It is happening on a call to the IntVar constructor:
public IntVar(JavaSpace home, String name, IntSet dom) {
this(GecodeJNI.new_IntVar__SWIG_1(JavaSpace.getCPtr(home),
On 11/6/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> On 05/11/2007, at 2:57 PM, Mikael Zayenz Lagerkvist wrote:
>
> > On 11/5/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> >> What is the Space class abstract in Gecode/J when it doesn't have any
> >> abstract methods? Is there any harm in doing:
>
On 05/11/2007, at 2:57 PM, Mikael Zayenz Lagerkvist wrote:
> On 11/5/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
>> What is the Space class abstract in Gecode/J when it doesn't have any
>> abstract methods? Is there any harm in doing:
>>
>> Space space = new Space() {};
>>
>
> While there is no ha
Hi,
Yes, i checked with -verbose:gc but results weren't very convincing.
So, I increased the value of the Xms parameter until the gc was not
called any more. But time was still instable (30instances: min (431ms)
/ max (1229ms) / avg (690ms)).
Thanks,
Guillaume
Guido Tack a écrit :
>
> Did you t
On 11/5/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> What is the Space class abstract in Gecode/J when it doesn't have any
> abstract methods? Is there any harm in doing:
>
> Space space = new Space() {};
>
While there is no harm in doing the above (as far as I can recall at
the moment), I'm not
On 11/5/07, Malcolm Ryan <[EMAIL PROTECTED]> wrote:
> When does propagation occur? Does it happen as constraints are
> created, only only when it is specifically requested? If it's the
> latter (and I hope it is) then how do I request it (in Gecode/J)?
Propagation is delayed.
See method status():
When does propagation occur? Does it happen as constraints are
created, only only when it is specifically requested? If it's the
latter (and I hope it is) then how do I request it (in Gecode/J)?
Malcolm
--
"Cleanliness is not next to godliness nowadays,
for cleanl
What is the Space class abstract in Gecode/J when it doesn't have any
abstract methods? Is there any harm in doing:
Space space = new Space() {};
Malcolm
--
Many clever men like you have trusted to civilisation.
Many clever Babylonians, many clever Egyptians,
Many clever men at the end of Rome
Hi!
Guillaume Richaud wrote:
I tried to solve some problems with Gecode/J and the time spend to
solve the same instance seems to be quite unstable. In the example
QueensJavaPropagator, i removed Distinct constraints. So, the
solver just had to instantiate each variable to find a solution.
Hi,
I tried to solve some problems with Gecode/J and the time spend to solve
the same instance seems to be quite unstable. In the example
QueensJavaPropagator, i removed Distinct constraints. So, the solver
just had to instantiate each variable to find a solution.
Solving 20 times the same in
Malcolm Ryan wrote:
> Thanks Guido for you prompt reply. I'm starting to find my way
> around. I've been reading through the Gecode class, you have by far
> the most complete set of constraints that I've seen in any of the
> libraries I've looked at! Although some are a little counter-
> intuitiv
Thanks Guido for you prompt reply. I'm starting to find my way
around. I've been reading through the Gecode class, you have by far
the most complete set of constraints that I've seen in any of the
libraries I've looked at! Although some are a little counter-intuitive.
Am I right in thinking
Malcolm Ryan wrote:
> Hi, I'm looking around at different Java CSP packages to find one in
> which I can work on a problem I have. Gecode/J looks nice, but
> documentation is thin. Can you please answer a few of my questions?
>
> 1) You include finite domain set variables, which I need. What
> ope
Hi, I'm looking around at different Java CSP packages to find one in
which I can work on a problem I have. Gecode/J looks nice, but
documentation is thin. Can you please answer a few of my questions?
1) You include finite domain set variables, which I need. What
operations are available on t
[EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
> Of Martin Mann
> Sent: Monday, October 22, 2007 3:22 PM
> To: gecode user list
> Subject: [gecode-users] gecode autoconf setting
>
> Hi,
>
> I am currently preparing an autoconf based package including
> gecode-1.3.0
ecode user list
Subject: [gecode-users] gecode autoconf setting
Hi,
I am currently preparing an autoconf based package including
gecode-1.3.0 as subpackage (subdir) in the source distribution using the
standard autoconf macro
AC_CONFIG_SUBDIRS([gecode-1.3.0])
Everything works fine including compil
Hi,
I am currently preparing an autoconf based package including
gecode-1.3.0 as subpackage (subdir) in the source distribution using the
standard autoconf macro
AC_CONFIG_SUBDIRS([gecode-1.3.0])
Everything works fine including compilation:
- my configure enters the subdir and calls the gecode
se a debugger or print statements...
Christian
--
Christian Schulte, http://www.imit.kth.se/~schulte/
-Original Message-
From: 'Stanimir Dragiev' [mailto:[EMAIL PROTECTED]
Sent: Thursday, October 18, 2007 6:52 PM
To: Christian Schulte
Cc: [EMAIL PROTECTED]
Subject: Re: [gecode
Hello,
* Christian Schulte <[EMAIL PROTECTED]> [2007-10-17 15:17]:
> actually I am totally lost now: What do you really do? Is it that you solve
> a problem with search and there abs is not propagated? Or what?
I am sorry for not explaining clear enough. I thought there is a
general mistake in th
1 - 100 of 131 matches
Mail list logo
