seeking for Real or Finite Domains constraint solving algorithm in Prolog 
Author Message
 seeking for Real or Finite Domains constraint solving algorithm in Prolog

I am looking for a constraint solver for Real inequalities (like in
CLP(R)) or Finite Domains (like in CLP(FD)) written in PROLOG.
It doesn't need to be efficient, it must only work.
Thank you in advance for your help!!!
Pallotta Vincenzo

c/o Casa dello Studente "Fascetti"
P.zza dei Cavalieri,6
56126 Pisa

http://www.*-*-*.com/ ~pallotta

Sat, 30 Oct 1999 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. Constraint Satisfaction Problems (CSP) w/ non-finite domains?

2. Finite domain constraint solver for LISP?...

3. constraint solving in GNU Prolog

4. BNR Prolog with discrete-domain & mixed constraints

5. Seeking public domain copy of IBM Prolog

6. Need Finite Element Code to Solve Laplace's Equation

7. Theorem Prover on Propositions in Finite Domains

8. Finite Domain Problem

9. Finite Domains and Exclusions as First-Class Citizens

10. Algorithms for making finite state machines

11. public domain prolog for apollo domain

12. Library for solving set constraints in type analysis?


Powered by phpBB® Forum Software