Re: quantified constraint solver

For quantified constraints over the real numbers there are 
two main possibilities:
* software based on computer algebra techniques (QEPCAD, Redlog) which is 
  restricted to polynomials.
* software using provably correct approximation techniques
     http://www.mpi-sb.mpg.de/~ratschan/AQCS/AQCS.html
  this package is also restricted to polynomials, but a version supporting
  transcendental function symbols will be out in a few weeks.

I do not know of any package for quantified constraints over discrete domains.

Could you tell me from which application area you constraints are 
coming from?

Stefan Ratschan




-- 
-----------------------------------
Stefan Ratschan                      WWW:    http://www.mpi-sb.mpg.de/~ratschan
Max-Planck-Institut fuer Informatik  e-mail: [EMAIL PROTECTED]
Stuhlsatzenhausenweg 85              phone:  +49 681 9325 229
66123 Saarbruecken                   fax:    +49 681 9325 299
Germany