head	1.3;
access;
symbols
	RELEASE_7_1_0:1.2
	RELEASE_6_4_0:1.2
	RELEASE_5_EOL:1.2
	RELEASE_7_0_0:1.2
	RELEASE_6_3_0:1.2
	PRE_XORG_7:1.2
	RELEASE_4_EOL:1.2
	RELEASE_6_2_0:1.2
	RELEASE_6_1_0:1.2
	RELEASE_5_5_0:1.2
	RELEASE_6_0_0:1.2
	RELEASE_5_4_0:1.2
	RELEASE_4_11_0:1.2
	RELEASE_5_3_0:1.2
	RELEASE_4_10_0:1.2
	RELEASE_5_2_1:1.2
	RELEASE_5_2_0:1.2
	RELEASE_4_9_0:1.2
	RELEASE_5_1_0:1.2
	RELEASE_4_8_0:1.1;
locks; strict;
comment	@# @;


1.3
date	2008.12.07.20.36.42;	author miwi;	state dead;
branches;
next	1.2;

1.2
date	2003.04.22.08.30.43;	author edwin;	state Exp;
branches;
next	1.1;

1.1
date	2003.01.19.13.12.02;	author edwin;	state Exp;
branches;
next	;


desc
@@


1.3
log
@2008-09-19 japanese/escpf: Has been broken for more than 6 months
2008-09-19 java/java-gcj-compat: Has been broken for more than 6 months
2008-09-19 lang/screamer: Has been broken for more than 6 months
2008-10-01 misc/documancer: Unmaintained upstream
2008-09-19 misc/ipbt: Has been broken for more than 6 months
2008-10-13 multimedia/manslide: Use multimedia/smile instead
2008-09-19 net/globus4: Has been broken for more than 6 months
2008-09-19 net/p5-Parallel-MPI: Has been broken for more than 6 months
2008-01-28 net/p54u: website disappeared
2008-09-19 net-im/ginsu: Has been broken for more than 6 months
2008-09-19 net-p2p/py-kenosis-bittorrent: Has been broken for more than 6 months
2008-09-19 sysutils/sjog: Has been broken for more than 6 months
2008-09-19 textproc/Ebnf2ps: Has been broken for more than 6 months
2008-09-19 www/roxen: Has been broken for more than 6 months
2008-09-19 x11-fm/evidence: Has been broken for more than 6 months
@
text
@Screamer is an extension of Common Lisp that adds support for
nondeterministic programming. Screamer consists of two levels. The
basic nondeterministic level adds support for backtracking and
undoable side effects. On top of this nondeterministic substrate,
Screamer provides a comprehensive constraint programming language in
which one can formulate and solve mixed systems of numeric and
symbolic constraints.

WWW: http://www.cis.upenn.edu/~screamer-tools/

Built to run with CMU Common Lisp.
Installed in CMUCL's subsystem directory.

/usr/local/share/screamer contains lisp source and documentation.

- Scott Flatman <sf@@slappy.org>
@


1.2
log
@change maintainer address

PR:		ports/51262
Submitted by:	Scott Flatman <sf@@slappy.org>
@
text
@@


1.1
log
@New Port: ports/lang/screamer

	Screamer is an extension of Common Lisp that adds support
	for nondeterministic programming.

PR:		ports/39895
Submitted by:	Scott Flatman <sf@@dsinw.com>
@
text
@d16 1
a16 1
- Scott Flatman <sf@@dsinw.com>
@

