// SPDX-FileCopyrightText: 2020 Roberto Posenato <roberto.posenato@univr.it>
//
// SPDX-License-Identifier: LGPL-3.0-or-later
/**
 * Contains the two packages that realize the framework for verifying the consistency/controllability of temporal constraint
 * networks.
 */
package it.univr.di;