From: Viktor Winschel
Subject: screamer does not work
Date: Wed, 23 Apr 2008 13:39:18 +0000
Message-ID: <fune6q$jm9$1@news.belwue.de>

Hi,

I am about to run the constraint logic solver screamer with sbcl/slime.

loading it and running an example results in (fail) function is not 
defined...

any ideas?

viktor

• Re: screamer does not work A.L.
  • Re: screamer does not work Ken Tilton
  • Re: screamer does not work ··············@gmail.com
• Re: screamer does not work ············@gmail.com
  • Re: screamer does not work Scott Burson

From: A.L.
Subject: Re: screamer does not work
Date: Wed, 23 Apr 2008 14:46:34 +0000
Message-ID: <0uiu04teckhf0nbf14d2ahlqmcrjepetls@4ax.com>

On Wed, 23 Apr 2008 15:39:18 +0200, Viktor Winschel
<········@rumms.uni-mannheim.de> wrote:

>Hi,
>
>I am about to run the constraint logic solver screamer with sbcl/slime.
>
>loading it and running an example results in (fail) function is not 
>defined...
>
>any ideas?
>
>viktor

Use Prolog

A.L.

From: Ken Tilton
Subject: Re: screamer does not work
Date: Wed, 23 Apr 2008 15:28:23 +0000
Message-ID: <480f5556$0$25054$607ed4bc@cv.net>

>>I am about to run the constraint logic solver screamer with sbcl/slime.
>>
>>loading it and running an example results in (fail) function is not 
>>defined...
>>
>>any ideas?

Start debugging, beginning with (apropos "FAIL"). If it is not there 
your build may have failed. etc etc...

We had a great talk at ECLM by Kristoffer Kvello getting great mileage 
out of Screamer (for things KBE could not handle), so there might be a 
way to get it working.

kt

-- 
http://smuglispweeny.blogspot.com/
http://www.theoryyalgebra.com/

"I've never read the rulebook. My job is to catch the ball."
   -- Catcher Josh Bard after making a great catch on a foul ball
and then sliding into the dugout, which by the rules allowed the
runners to advance one base costing his pitcher a possible shutout
because there was a runner on third base.

"My sig is longer than most of my articles."
   -- Kenny Tilton

From: ··············@gmail.com
Subject: Re: screamer does not work
Date: Fri, 25 Apr 2008 09:54:13 +0000
Message-ID: <bedc4703-b54b-49c1-befb-f1166e304998@d45g2000hsc.googlegroups.com>

> >any ideas?
>
> >viktor
>
> Use Prolog

wrong.

so, what's the canonical home of screamer nowadays? it's annoying that
this cool piece of code is being eaten up by bitrot...

- attila

From: ············@gmail.com
Subject: Re: screamer does not work
Date: Thu, 24 Apr 2008 03:10:31 +0000
Message-ID: <1183b9d6-23bb-4564-b84c-0677aae4e40b@b1g2000hsg.googlegroups.com>

On Apr 23, 9:39 am, Viktor Winschel <········@rumms.uni-mannheim.de>
wrote:
> Hi,
>
> I am about to run the constraint logic solver screamer with sbcl/slime.
>
> loading it and running an example results in (fail) function is not
> defined...
>
> any ideas?
>
> viktor

I'm using screamer successfully. I'm using cl-screamer version 3.24.2
from

http://debian.mirrors.crysys.hu/pool/main/c/cl-screamer/

Hope that helps.

Will

From: Scott Burson
Subject: Re: screamer does not work
Date: Fri, 25 Apr 2008 06:35:14 +0000
Message-ID: <88044d8b-6ae9-48ce-87ce-af3667698d1f@p39g2000prm.googlegroups.com>

On Apr 23, 8:10 pm, ·············@gmail.com" <············@gmail.com>
wrote:
> I'm using screamer successfully. I'm using cl-screamer version 3.24.2
> from
>
> http://debian.mirrors.crysys.hu/pool/main/c/cl-screamer/

Yes, I've noticed this too -- the Debian package seems to work better
than some of the other (older) ones floating around.

-- Scott