Menu ▾ ▴

Tree [f9e7c2] master /
 History

HTTPS git://
HTTPS access

File Date Author Commit
 .gitignore 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 ChangeLog 2006-04-20 Jan Wielemaker Jan Wielemaker [fe0803] * Pass C?flags from configure
 Makefile.in 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 Makefile.mak 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 README 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 benchmarks.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 configure.in 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 inclpr.pl 2010-04-18 Jan Wielemaker Jan Wielemaker [f9e7c2] Updated license stuff
 inclpr_check.pl 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 inclpr_compile.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_consistency.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_core.pl 2006-04-20 Leslie De Koninck Leslie De Koninck [e24692] * Fixed some unification handling
 inclpr_interval_arithmetic.c 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 inclpr_interval_arithmetic.h 2010-01-31 Jan Wielemaker Jan Wielemaker [dac7af] Updated code: share configure; test Prolog API ...
 inclpr_interval_arithmetic.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_inversion.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_natural_interval_extension.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_newton.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_ordering.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 inclpr_symbolic_processing.pl 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)
 install-sh 2006-04-19 Jan Wielemaker Jan Wielemaker [193cb7] * Interval CLP(R)

Read Me

			    SWI-Prolog INCLP(R)
			    -------------------

Author: Leslie De Koninck, K.U.Leuven

This  software  is a  Constraint Logic  Programming library,  capable of
solving nonlinear (polynomial) constraints over the  real numbers. It is
based  on interval  arithmetic techniques  and is  built on  top of  the
K.U.Leuven  CHR implementation  which is  also part  of SWI-Prolog.  The
software is released with permission  from the author under the standard
SWI-Prolog  license schema:  GPL-2  +  statement  to allow  linking with
proprietary software.

The sources of this  package  are  maintained in  packages/inclpr in the
SWI-Prolog  source  distribution.  The  documentation    source   is  in
man/lib/inclpr.doc as part of the overall SWI-Prolog documentation.

More information on INCLP(R) can be found at

	http://www.cs.kuleuven.be/~leslie/INCLPR/
MongoDB Logo MongoDB