TOR -- VERSION 1.0.3
====================

Cleanup of version 1.0.2, now with documentation.

Based on the paper:

	Tor: Extensible Search with Hookable Disjunction
	Tom Schrijvers, Bart Demoen, Markus Triska and Benoit Desouter
	SOCP 2012

Allows you to use tor with:

:- use_module(library(tor_clpfd)).
:- use_module(library(tor)).
:- use_module(library(generic_search)).

CONTENT
=======

README.txt		: this file

prolog/			
  tor_clpfd.pl		: wrapper around clpfd library that replaces labeling predicates
		          by those defined for tor
  tor.pl		: tor infrastructure and many handlers
  generic_search.pl	: variant of ECLiPSe's search/6 adapted to tor and SWI-Prolog's clpfd
  tor_labeling.pl	: basic labeling code using tor
  tor_clpfd_labeling.pl	: auxiliary file that redefines clpfd labeling predicates

visualization/
  log_to_tree.pl	: convert log handler output into postscript
  log_to_pdf.sh		: generates pdf from log file
  log_to_tree.pl	: generates metapost instructions from log file
  trees.mp		: metapost drawing instructions

examples/		: examples, in particular a file that shows the new features introduced version 1.0.2



ACKNOWLEDGMENTS
===============

Thanks to Jan Wielemaker, Carlo Capelli and Paulo Moura for their useful
comments.