This directory contains the source code for solving even instances
of the NxN maximum density still-life using the algorithm proposed in:

"On the Practical use of Variable Elimination in Constraint
Optimization Problems: 'Still-life' as a Case Study"
by Javier Larrosa, Enric Morancho and David Niso,
Jounal of Artificial Intelligence Research XX X--X.

The compilation instruction (with gcc) is:
        gcc -O3 HybridBE.c -DN=18 -o HybridBE

which produces an executable file "HybridBE" for the N=18 instance
        (the compilation flag -DN can be used to decide the EVEN size
        of the problem to be solved)





     ``THIS SOURCE CODE IS SUPPLIED  ``AS IS'' WITHOUT WARRANTY OF ANY KIND, 
     AND ITS AUTHORS, DISCLAIM ANY AND ALL 
     WARRANTIES, INCLUDING BUT NOT LIMITED TO ANY IMPLIED
     WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, AND
     ANY WARRANTIES OR NON INFRINGEMENT.  THE USER ASSUMES ALL LIABILITY AND
     RESPONSIBILITY FOR USE OF THIS SOURCE CODE, AND THE AUTHOR, WILL
     NOT BE LIABLE FOR 
     DAMAGES OF ANY KIND RESULTING FROM ITS USE.  Without limiting the 
     generality of the foregoing, the author does not warrant that the Source Code will be 
     error-free, will operate without interruption, or will meet the needs 
     of the user.''