Contains core classes and interfaces for three-valued first order structures and their associated algorithms.