/*
 * Copyright 2022 DTAI Research Group - KU Leuven.
 * License: Apache License 2.0
 * Author: Laurens Devos
*/

#include "constraints.hpp"

namespace veritas::constraints {

} // namespace veritas::constraints
