Package "clpcd"

Title:	Constraints over continuous domains
Rating:	Not rated. Create the first rating!
Latest version:	0.0.1
SHA1 sum:	b51f93d3b69ac0e5b81453231775bf7cb9475caf
Author:	Edison Mera http://www.edisonm.com/
Maintainer:	Edison Mera http://www.edisonm.com/
Packager:	Edison Mera http://www.edisonm.com/
Home page:	https://github.com/edisonm/clpcd
Download URL:	https://github.com/edisonm/clpcd.git
Requires:	assertions
	xlibrary

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
0.0.1	2829e3af58dc021ce15f8ac14cc6548aa2fcd635	12	https://github.com/edisonm/clpcd.git
	29258fb66a45a63cb3665f63b41bc48a9c4e5b97	9	https://github.com/edisonm/clpcd.git
	6b2d7eef9845c4bb8ef0779fe0eb8d74cd8e74b0	6	https://github.com/edisonm/clpcd.git
	6b9b2f5b0f7ac163ab86d1db23a625dd264ab0f4	5	https://github.com/edisonm/clpcd.git
	b51f93d3b69ac0e5b81453231775bf7cb9475caf	1	https://github.com/edisonm/clpcd.git

clpcd

Constraint logic programming over continuous domains

Based on the CLP(Q,R) package by Leslie De Koninck, K.U. Leuven, available in SWI-Prolog.

Installation

To install this package, just follow the next sequence of commands in your SWI-Prolog shell:

  $ swipl
  
  ?- pack_install('https://github.com/edisonm/clpcd.git').
  true.

Overview

The goal of this library is to make a CLP library for continuous domains like reals or rationals, that is more appropriated for calculations found in engineering applications.

Current CLP(QR) implementation work only when the system of equations are linear, although in some cases, the equations can be modified so that they become linear and make the system solvable. But also, it is not being maintained and contains several unfortunate bugs, failing even for very small examples. It also presents implementation limitations (like the linearity); probably because the prototype was designed some decades ago, when computational power was limited.

This library is focused to remove those limitations, and to incorporate solvers for well-known non-linear equations, when such systems are identified. The numeric resolution of such equations will be inspired or taken form existing frameworks like the GNU Scientific Library (GSL) or GNU Octave.

Contents of pack "clpcd"

Pack contains 42 files holding a total of 251K bytes.