In order to have a full QBF solver you need to compile Quantor with a SAT
solver back end.  Preferably you should use PicoSAT, but FunEx, NanoSAT and
Limmat, should work as well.  The 'configure' script will search in the
parent directory in which you unpacked the Quantor sources for the
directories 'picosat', 'compsat' etc. and whether they contain apropriate
libraries.  If you have compiled PicoSAT some where else, say in
'$HOME/picosat-535', then use can simply configure Quantor to use the
libraries in that directory with 

  ./configure --picosat=$HOME/picosat-535'

Then 'make' should produce a 'quantor' binary.  The configure script
generates 'config.h' and 'options.c', the latter by using the 'genopts'
shell script.  This should work on a Unix system out of the box, and
also for 'cygwin'.  For other operating systems you need to change the
compilation process.  In the past we were successfully in producing a native
Windows binary with the mingw32 cross compiler.

Armin Biere, Linz, Fri Jun 22 11:10:01 CEST 2007
